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