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
module Key:Datatype.S
with type t = key
module Make: