val mk_distinct : bool -> elt list -> t
val mk_pred : elt -> bool -> t
val print : Stdlib.Format.formatter -> t -> unit
val compare : t -> t -> int
val equal : t -> t -> bool
val elements : t -> elt list
module Map : Stdlib.Map.S with type key = t
module Set : Stdlib.Set.S with type elt = t