pub(crate) const ONE_OR_MORE_FOREACH: QuantifierConstraint;