module type Hashtbl = sig
.. end
A standard OCaml hashtbl signature extended with datatype operations.
include Datatype.Hashtbl_with_descr
val make_type : 'a Type.t -> 'a Datatype.t Type.t
Since Fluorine-20130401
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:
Build a datatype of the hashtbl according to the datatype of values in the
hashtbl.