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