Module Type_base.Constraints

include module type of struct include Type_constraints end
val create : unit -> 'a Type_constraints.t
val add : 'a -> 'a Type_constraints.t -> 'a Type_constraints.t
val mem : 'a -> 'a Type_constraints.t -> bool
val compare : 'a Type_constraints.t -> 'a Type_constraints.t -> int
val of_list : 'a list -> 'a Type_constraints.t
val elements : 'a Type_constraints.t -> 'a list
val cardinal : 'a Type_constraints.t -> int
val choose : 'a Type_constraints.t -> 'a
val is_empty : 'a Type_constraints.t -> bool
type nonrec t = constr Type_constraints.t