Sorts.QUConstraints
type t
= QConstraints.t * Univ.Constraints.t
val union : t -> t -> t
val empty : t