type 'a
key
type ('a, 'b)
t
val add : ('a, 'b) t -> key:'a key -> data:'b -> unit
val clear : ('a, 'b) t -> unit
val create : int -> ('a, 'b) t
val fold : f:(key:'a key -> data:'b -> 'c -> 'c) ->
('a, 'b) t -> init:'c -> 'c
val iter : f:(key:'a key -> data:'b -> unit) -> ('a, 'b) t -> unit
val keys : ('a, 'b) t -> 'a key list
val length : ('a, 'b) t -> int
val mem : ('a, 'b) t -> 'a key -> bool
val of_alist : ('a key * 'b) list -> ('a, 'b) t
val remove : ('a, 'b) t -> 'a key -> unit
val replace : ('a, 'b) t -> key:'a key -> data:'b -> unit