module Map: Datatype.Map with type key = t
Datatype.Map
with type key = t
include Map.S
module Key: Datatype.S with type t = key
Datatype.S
with type t = key
Datatype for the keys of the map.
module Make: functor (Data : Datatype.S) -> Datatype.S with type t = Data.t t
functor (
Data
:
) ->
with type t = Data.t t
Build a datatype of the map according to the datatype of values in the map.