sig
type elt
type t
val empty : Hptset.S_Basic_Compare.t
val is_empty : Hptset.S_Basic_Compare.t -> bool
val mem : Hptset.S_Basic_Compare.elt -> Hptset.S_Basic_Compare.t -> bool
val add :
Hptset.S_Basic_Compare.elt ->
Hptset.S_Basic_Compare.t -> Hptset.S_Basic_Compare.t
val singleton : Hptset.S_Basic_Compare.elt -> Hptset.S_Basic_Compare.t
val remove :
Hptset.S_Basic_Compare.elt ->
Hptset.S_Basic_Compare.t -> Hptset.S_Basic_Compare.t
val union :
Hptset.S_Basic_Compare.t ->
Hptset.S_Basic_Compare.t -> Hptset.S_Basic_Compare.t
val inter :
Hptset.S_Basic_Compare.t ->
Hptset.S_Basic_Compare.t -> Hptset.S_Basic_Compare.t
val diff :
Hptset.S_Basic_Compare.t ->
Hptset.S_Basic_Compare.t -> Hptset.S_Basic_Compare.t
val compare : Hptset.S_Basic_Compare.t -> Hptset.S_Basic_Compare.t -> int
val equal : Hptset.S_Basic_Compare.t -> Hptset.S_Basic_Compare.t -> bool
val subset : Hptset.S_Basic_Compare.t -> Hptset.S_Basic_Compare.t -> bool
val iter :
(Hptset.S_Basic_Compare.elt -> unit) -> Hptset.S_Basic_Compare.t -> unit
val fold :
(Hptset.S_Basic_Compare.elt -> 'a -> 'a) ->
Hptset.S_Basic_Compare.t -> 'a -> 'a
val for_all :
(Hptset.S_Basic_Compare.elt -> bool) -> Hptset.S_Basic_Compare.t -> bool
val exists :
(Hptset.S_Basic_Compare.elt -> bool) -> Hptset.S_Basic_Compare.t -> bool
val filter :
(Hptset.S_Basic_Compare.elt -> bool) ->
Hptset.S_Basic_Compare.t -> Hptset.S_Basic_Compare.t
val partition :
(Hptset.S_Basic_Compare.elt -> bool) ->
Hptset.S_Basic_Compare.t ->
Hptset.S_Basic_Compare.t * Hptset.S_Basic_Compare.t
val cardinal : Hptset.S_Basic_Compare.t -> int
val elements : Hptset.S_Basic_Compare.t -> Hptset.S_Basic_Compare.elt list
val choose : Hptset.S_Basic_Compare.t -> Hptset.S_Basic_Compare.elt
val find :
Hptset.S_Basic_Compare.elt ->
Hptset.S_Basic_Compare.t -> Hptset.S_Basic_Compare.elt
val of_list : Hptset.S_Basic_Compare.elt list -> Hptset.S_Basic_Compare.t
end