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) ->     FCSet.S_Basic_Compare.t -> '-> '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 split :     FCSet.S_Basic_Compare.elt ->     FCSet.S_Basic_Compare.t ->     FCSet.S_Basic_Compare.t * bool * FCSet.S_Basic_Compare.t   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