s capable of being discriminated
The state of being discriminated
discriminated union
[计] 判别析取, 鉴别并
discriminated union type
[计] 判别析取类型