Sorts.QConstraint
type kind =
| Equal
| Leq
val pr_kind : kind -> Pp.t
type t = Quality.t * kind * Quality.t
val equal : t -> t -> bool
val compare : t -> t -> int
val trivial : t -> bool
val pr : (QVar.t -> Pp.t) -> t -> Pp.t
val raw_pr : t -> Pp.t