Module Instantiate.Instantiator_builder.Generator_sig.Hashtbl

module Hashtbl: Datatype.Hashtbl 
Hashtbl module used by the Make_instantiator module to generate the function cache. The key (override_key) must identify a function override.

include Datatype.Hashtbl_with_descr
val make_type : 'a Type.t -> 'a Datatype.t Type.t
Since Fluorine-20130401
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.