module Hashtbl: Datatype.Hashtbl with type key = t
Datatype.Hashtbl
with type key = t
include Datatype.Hashtbl_with_descr
val make_type : 'a Type.t -> 'a Datatype.t Type.t
'a Type.t -> 'a Datatype.t Type.t
module Key: Datatype.S with type t = key
Datatype.S
with type t = key
module Make: functor (Data : Datatype.S) -> Datatype.S with type t = Data.t t
functor (
Data
:
) ->
with type t = Data.t t