module Hash_set

: sig

type 'a t

include Hash_set_intf.Creators with type 'a t := 'a t and type 'a elt = 'a and type ('key, 'z) create_options := ('key, 'z) Hash_set_intf.create_options_with_hashable_required

include Hash_set_intf.Accessors with type 'a t := 'a t and type 'a elt := 'a elt

module type Elt = Core_hashtbl.Key

module type Elt_binable = Core_hashtbl.Key_binable

module type S = Hash_set_intf.S with type 'a hash_set = 'a t

module type S_binable = Hash_set_intf.S_binable with type 'a hash_set = 'a t

module Poly : sig

type 'a t

include Hash_set_intf.Creators with type 'a t := 'a t and type 'a elt = 'a and type ('key, 'z) create_options := ('key, 'z) Hash_set_intf.create_options_without_hashable

include Hash_set_intf.Accessors with type 'a t := 'a t and type 'a elt := 'a elt

val t_of_sexp : (Sexplib.Sexp.t -> 'a) -> Sexplib.Sexp.t -> 'a t

val sexp_of_t : ('a -> Sexplib.Sexp.t) -> 'a t -> Sexplib.Sexp.t

end

with type 'a t = 'a t

module Make : functor (Elt : Elt) -> S with type elt = Elt.t

module Make_binable : functor (Elt : Elt_binable) -> S_binable with type elt = Elt.t

val sexp_of_t : ('a -> Sexplib.Sexp.t) -> 'a t -> Sexplib.Sexp.t

end