A discriminant in a record variant or discriminant in an array schema. May be local or global. For example:
TYPE REC_TYPE(DISCRIM : INTEGER) = RECORD { DISCRIM is a field discrim } ... END;