Module Datatype.S_with_collections.Hashtbl


module Hashtbl: Datatype.Hashtbl  with type key = t

include Hashtbl.S
val memo : 'a Datatype.t -> key -> (key -> 'a) -> 'a
memo tbl k f returns the binding of k in tbl. If there is no binding, add the binding f k associated to k in tbl and return it.
Since Nitrogen-20111001
module Key: Datatype.S  with type t = key
Datatype for the keys of the hashtbl.
module Make: 
functor (Data : Datatype.S) -> Datatype.S with type t = Data.t t
Build a datatype of the hashtbl according to the datatype of values in the hashtbl.