Constant SET_QUANTIFIER_DEFAULT

pub const SET_QUANTIFIER_DEFAULT: Type = 0;