module Hashtbl:Datatype.Hashtbl
with type key = t
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:
Build a datatype of the hashtbl according to the datatype of values in the hashtbl.