pub type QuantifiedWhereClauses = QuantifiedWhereClauses<Interner>;
struct QuantifiedWhereClauses { /* private fields */ }