English ⇄ Russian +

type exclusion stresses
progr.	исключение типов (programmer may indicate explicitly when two types are intended to be disjoint (that is, no object can belong to both); корпорации Oracle Alex_Odeychuk)