discriminated union type判别: differentiate; distinguish; ...析取: extraction; disjunction类型: type; mold; form; cut判别析取, 鉴别并: discriminated union存取类型: acce type; access type下载手机词典可随时随地查词查翻译
