Module type Datatype.Hashtbl

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

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.