pub const SetQuantifier_SET_QUANTIFIER_DEFAULT: SetQuantifier = 0;