pub(crate) const ZERO_OR_ONE_FOREACH: QuantifierConstraint;