sig
  type 'a t
  module T : sig type 'a elt = 'type 'a t = 'a t end
  val create : int -> 'Hash_set_intf.S1.t
  val add : 'Hash_set_intf.S1.t -> '-> unit
  val strict_add : 'Hash_set_intf.S1.t -> '-> unit
  val remove : 'Hash_set_intf.S1.t -> '-> unit
  val strict_remove : 'Hash_set_intf.S1.t -> '-> unit
  val clear : 'Hash_set_intf.S1.t -> unit
  val fold : f:('-> '-> 'a) -> init:'-> 'Hash_set_intf.S1.t -> 'a
  val iter : f:('-> unit) -> 'Hash_set_intf.S1.t -> unit
  val length : 'Hash_set_intf.S1.t -> int
  val mem : 'Hash_set_intf.S1.t -> '-> bool
  val is_empty : 'Hash_set_intf.S1.t -> bool
  val of_list : 'a list -> 'Hash_set_intf.S1.t
  val to_list : 'Hash_set_intf.S1.t -> 'a list
  val equal : 'Hash_set_intf.S1.t -> 'Hash_set_intf.S1.t -> bool
  val sexp_of_t :
    ('-> Sexplib.Sexp.t) -> 'Hash_set_intf.S1.t -> Sexplib.Sexp.t
  val t_of_sexp :
    (Sexplib.Sexp.t -> 'a) -> Sexplib.Sexp.t -> 'Hash_set_intf.S1.t
end