Hash_set (base.Base.Hash

type !'a t

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

module Key : sig ... end

module type Creators = sig ... end

module type Creators_generic = sig ... end

module type For_deriving = sig ... end

type nonrec (!'key, !'z) create_options =
  ?growth_allowed:bool ->
  ?size:int ->
  (module Base__.Hashtbl_intf.Key.S with type t = 'key) ->
  'z

val create : 
  ?growth_allowed:bool ->
  ?size:int ->
  (module Base__Hash_set_intf.Key.S with type t = 'a) ->
  'a t

val of_list : 
  ?growth_allowed:bool ->
  ?size:int ->
  (module Base__Hash_set_intf.Key.S with type t = 'a) ->
  'a list ->
  'a t

module type Accessors = sig ... end

type !'a elt = 'a

val length : 'a t -> int

val is_empty : 'a t -> bool

val iter : 'a t -> f:('a elt -> unit) -> unit

val fold : 'a t -> init:'acc -> f:('acc -> 'a elt -> 'acc) -> 'acc

val fold_result : 
  'a t ->
  init:'acc ->
  f:('acc -> 'a elt -> ('acc, 'e) result) ->
  ('acc, 'e) result

val fold_until : 
  'a t ->
  init:'acc ->
  f:('acc -> 'a elt -> ('acc, 'final) Base__Container_intf.Continue_or_stop.t) ->
  finish:('acc -> 'final) ->
  'final

val exists : 'a t -> f:('a elt -> bool) -> bool

val for_all : 'a t -> f:('a elt -> bool) -> bool

val count : 'a t -> f:('a elt -> bool) -> int

val sum : 
  (module Base__Container_intf.Summable with type t = 'sum) ->
  'a t ->
  f:('a elt -> 'sum) ->
  'sum

val find : 'a t -> f:('a elt -> bool) -> 'a elt option

val find_map : 'a t -> f:('a elt -> 'b option) -> 'b option

val to_list : 'a t -> 'a elt list

val to_array : 'a t -> 'a elt array

val min_elt : 'a t -> compare:('a elt -> 'a elt -> int) -> 'a elt option

val max_elt : 'a t -> compare:('a elt -> 'a elt -> int) -> 'a elt option

val mem : 'a t -> 'a -> bool

val copy : 'a t -> 'a t

val add : 'a t -> 'a -> unit

val strict_add : 'a t -> 'a -> (unit, Base__.Info.t) result

val strict_add_exn : 'a t -> 'a -> unit

val remove : 'a t -> 'a -> unit

val strict_remove : 'a t -> 'a -> (unit, Base__.Info.t) result

val strict_remove_exn : 'a t -> 'a -> unit

val clear : 'a t -> unit

val equal : 'a t -> 'a t -> bool

val filter : 'a t -> f:('a -> bool) -> 'a t

val filter_inplace : 'a t -> f:('a -> bool) -> unit

val inter : 'key t -> 'key t -> 'key t

val union : 'a t -> 'a t -> 'a t

val diff : 'a t -> 'a t -> 'a t

val of_hashtbl_keys : ('a, 'b) Base__.Hashtbl.t -> 'a t

val to_hashtbl : 'key t -> f:('key -> 'data) -> ('key, 'data) Base__.Hashtbl.t

val hashable_s : 'key t -> 'key Key.t

type nonrec ('key, !'z) create_options_without_first_class_module =
  ?growth_allowed:bool ->
  ?size:int ->
  'z

module Poly : sig ... end

module Creators (Elt : sig ... end) : sig ... end

module type M_of_sexp = sig ... end

module type Sexp_of_m = sig ... end

module type Equal_m = sig ... end

module M (Elt : sig ... end) : sig ... end

val sexp_of_m__t : 
  (module Sexp_of_m with type t = 'elt) ->
  'elt t ->
  Sexplib0.Sexp.t

val m__t_of_sexp : 
  (module M_of_sexp with type t = 'elt) ->
  Sexplib0.Sexp.t ->
  'elt t

val m__t_sexp_grammar : 
  (module Base__Hash_set_intf.M_sexp_grammar with type t = 'elt) ->
  'elt t Sexplib0.Sexp_grammar.t

val equal_m__t : (module Equal_m) -> 'elt t -> 'elt t -> bool

module Private : sig ... end