sig
  type elt
  type t
  val empty : CCHashconsedSet.S.t
  val singleton : CCHashconsedSet.S.elt -> CCHashconsedSet.S.t
  val doubleton :
    CCHashconsedSet.S.elt -> CCHashconsedSet.S.elt -> CCHashconsedSet.S.t
  val mem : CCHashconsedSet.S.elt -> CCHashconsedSet.S.t -> bool
  val equal : CCHashconsedSet.S.t -> CCHashconsedSet.S.t -> bool
  val compare : CCHashconsedSet.S.t -> CCHashconsedSet.S.t -> int
  val hash : CCHashconsedSet.S.t -> int
  val add :
    CCHashconsedSet.S.elt -> CCHashconsedSet.S.t -> CCHashconsedSet.S.t
  val remove :
    CCHashconsedSet.S.elt -> CCHashconsedSet.S.t -> CCHashconsedSet.S.t
  val cardinal : CCHashconsedSet.S.t -> int
  val iter : (CCHashconsedSet.S.elt -> unit) -> CCHashconsedSet.S.t -> unit
  val fold :
    (CCHashconsedSet.S.elt -> 'a -> 'a) -> CCHashconsedSet.S.t -> 'a -> 'a
  val choose : CCHashconsedSet.S.t -> CCHashconsedSet.S.elt option
  val choose_exn : CCHashconsedSet.S.t -> CCHashconsedSet.S.elt
  val union :
    CCHashconsedSet.S.t -> CCHashconsedSet.S.t -> CCHashconsedSet.S.t
  val inter :
    CCHashconsedSet.S.t -> CCHashconsedSet.S.t -> CCHashconsedSet.S.t
  val diff :
    CCHashconsedSet.S.t -> CCHashconsedSet.S.t -> CCHashconsedSet.S.t
  type 'a sequence = ('a -> unit) -> unit
  type 'a gen = unit -> 'a option
  val add_list :
    CCHashconsedSet.S.t -> CCHashconsedSet.S.elt list -> CCHashconsedSet.S.t
  val of_list : CCHashconsedSet.S.elt list -> CCHashconsedSet.S.t
  val to_list : CCHashconsedSet.S.t -> CCHashconsedSet.S.elt list
  val add_seq :
    CCHashconsedSet.S.t ->
    CCHashconsedSet.S.elt CCHashconsedSet.S.sequence -> CCHashconsedSet.S.t
  val of_seq :
    CCHashconsedSet.S.elt CCHashconsedSet.S.sequence -> CCHashconsedSet.S.t
  val to_seq :
    CCHashconsedSet.S.t -> CCHashconsedSet.S.elt CCHashconsedSet.S.sequence
end