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