sig
type key
type 'a t
val create : int -> 'a Datatype.HASHTBL.t
val iter :
(Datatype.HASHTBL.key -> 'a -> unit) -> 'a Datatype.HASHTBL.t -> unit
val fold :
(Datatype.HASHTBL.key -> 'a -> 'b -> 'b) ->
'a Datatype.HASHTBL.t -> 'b -> 'b
val add : 'a Datatype.HASHTBL.t -> Datatype.HASHTBL.key -> 'a -> unit
val replace : 'a Datatype.HASHTBL.t -> Datatype.HASHTBL.key -> 'a -> unit
val length : 'a Datatype.HASHTBL.t -> int
val find_all : 'a Datatype.HASHTBL.t -> Datatype.HASHTBL.key -> 'a list
end