sig
type key
type 'a t
module T : sig type 'a key = key type ('a, 'b) t = 'b t end
val create : int -> 'a Hashtbl_intf.S.t
val clear : 'a Hashtbl_intf.S.t -> unit
val copy : 'a Hashtbl_intf.S.t -> 'a Hashtbl_intf.S.t
val shadow_add :
'a Hashtbl_intf.S.t ->
key:Hashtbl_intf.S.key -> data:'a -> unit
val remove : 'a Hashtbl_intf.S.t -> Hashtbl_intf.S.key -> unit
val shadow_find :
'a Hashtbl_intf.S.t -> Hashtbl_intf.S.key -> 'a list
val replace :
'a Hashtbl_intf.S.t ->
key:Hashtbl_intf.S.key -> data:'a -> unit
val mem : 'a Hashtbl_intf.S.t -> Hashtbl_intf.S.key -> bool
val iter :
'a Hashtbl_intf.S.t ->
f:(key:Hashtbl_intf.S.key -> data:'a -> unit) -> unit
val fold :
'a Hashtbl_intf.S.t ->
init:'b -> f:(key:Hashtbl_intf.S.key -> data:'a -> 'b -> 'b) -> 'b
val length : 'a Hashtbl_intf.S.t -> int
val map :
'a Hashtbl_intf.S.t -> f:('a -> 'b) -> 'b Hashtbl_intf.S.t
val mapi :
'a Hashtbl_intf.S.t ->
f:(key:Hashtbl_intf.S.key -> data:'a -> 'b) ->
'b Hashtbl_intf.S.t
val filter_map :
'a Hashtbl_intf.S.t ->
f:('a -> 'b option) -> 'b Hashtbl_intf.S.t
val filter_mapi :
'a Hashtbl_intf.S.t ->
f:(key:Hashtbl_intf.S.key -> data:'a -> 'b option) ->
'b Hashtbl_intf.S.t
val remove_all :
'a Hashtbl_intf.S.t -> Hashtbl_intf.S.key -> unit
val find_default :
'a Hashtbl_intf.S.t ->
Hashtbl_intf.S.key -> default:(unit -> 'a) -> 'a
val find : 'a Hashtbl_intf.S.t -> Hashtbl_intf.S.key -> 'a option
val find_exn : 'a Hashtbl_intf.S.t -> Hashtbl_intf.S.key -> 'a
val iter_vals : 'a Hashtbl_intf.S.t -> f:('a -> unit) -> unit
val of_alist :
(Hashtbl_intf.S.key * 'a) list ->
[ `Duplicate_key of Hashtbl_intf.S.key
| `Ok of 'a Hashtbl_intf.S.t ]
val of_alist_exn :
(Hashtbl_intf.S.key * 'a) list -> 'a Hashtbl_intf.S.t
val of_alist_shadow :
(Hashtbl_intf.S.key * 'a) list -> 'a list Hashtbl_intf.S.t
val to_alist :
'a Hashtbl_intf.S.t -> (Hashtbl_intf.S.key * 'a) list
val to_alist_shadow :
'a Hashtbl_intf.S.t -> (Hashtbl_intf.S.key * 'a list) list
val merge :
f:(key:Hashtbl_intf.S.key -> 'a option -> 'b option -> 'c option) ->
'a Hashtbl_intf.S.t ->
'b Hashtbl_intf.S.t -> 'c Hashtbl_intf.S.t
val keys : 'a Hashtbl_intf.S.t -> Hashtbl_intf.S.key list
val data : 'a Hashtbl_intf.S.t -> 'a list
val filter_inplace : 'a Hashtbl_intf.S.t -> f:('a -> bool) -> unit
val filteri_inplace :
'a Hashtbl_intf.S.t ->
f:(Hashtbl_intf.S.key -> 'a -> bool) -> unit
val equal :
'a Hashtbl_intf.S.t ->
'a Hashtbl_intf.S.t -> ('a -> 'a -> bool) -> bool
val add_to_groups :
'a Hashtbl_intf.S.t ->
get_key:('b -> Hashtbl_intf.S.key) ->
get_data:('b -> 'a) -> combine:('a -> 'a -> 'a) -> rows:'b list -> unit
val group :
?size:int ->
get_key:('a -> Hashtbl_intf.S.key) ->
get_data:('a -> 'b) ->
combine:('b -> 'b -> 'b) -> 'a list -> 'b Hashtbl_intf.S.t
val create_with_key :
get_key:('a -> Hashtbl_intf.S.key) ->
'a list -> 'a Hashtbl_intf.S.t
val create_mapped :
get_key:('a -> Hashtbl_intf.S.key) ->
get_data:('a -> 'b) -> 'a list -> 'b Hashtbl_intf.S.t
type 'a sexpable = 'a t
val sexp_of_t : ('a -> Sexplib.Sexp.t) -> 'a sexpable -> Sexplib.Sexp.t
val t_of_sexp : (Sexplib.Sexp.t -> 'a) -> Sexplib.Sexp.t -> 'a sexpable
end