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