pub const SetQuantifier_SET_QUANTIFIER_DISTINCT: SetQuantifier = 2;