DISCRIMINATORS

Definition of DISCRIMINATORS