package core-and-more

  1. Overview
  2. Docs
package core-and-more
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module HashSet.HSWrapperSource

Parameters

module D : sig ... end

Signature

Sourcemodule D : sig ... end
Sourcetype elt = D.t
Sourcetype t = elt Core.Hash_set.t
Sourceval create : int -> D.t Core.Hash_set.t
Sourceval empty : 'a -> D.t Core.Hash_set.t
Sourceval singleton : D.t -> D.t Core.Hash_set.t
Sourceval singleton_sized : int -> D.t -> D.t Core.Hash_set.t
Sourceval add : D.t -> t -> unit
Sourceval remove : D.t -> t -> unit
Sourceval size : t -> int
Sourceval is_empty : t -> bool
Sourceval contains : D.t -> t -> bool
Sourceval fold : (elt -> 'b -> 'b) -> t -> 'b -> 'b
Sourceval fold2 : (elt -> elt -> 'a -> 'a) -> t -> t -> 'a -> 'a
Sourceval exists : ('a Core_kernel__.Hash_set_intf.elt -> bool) -> 'a Core.Hash_set.t -> bool
Sourceval as_list : 'a Core.Hash_set.t -> 'a Core_kernel__.Hash_set_intf.elt list
Sourceval iter : ('a Core_kernel__.Hash_set_intf.elt -> unit) -> 'a Core.Hash_set.t -> unit
Sourceval union : 'a Core.Hash_set.t -> 'a Core.Hash_set.t -> 'a Core.Hash_set.t
Sourceval pp : (Format.formatter -> 'a Core_kernel__.Hash_set_intf.elt -> unit) -> Format.formatter -> 'a Core.Hash_set.t -> unit
Sourceval update : (elt option -> unit) -> elt -> t -> unit
Sourceval copy : t -> t