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