判别析取类型

【计】 discriminated union type

判别的英语翻译：

differentiate; distinguish

析取的英语翻译：

extract; scorify
【计】 dijunction

类型的英语翻译：

genre; run; stamp; style; type
【计】 type
【医】 Ty.; type
【经】 type