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