Module Datatype.S_with_collections.Map

module Map: Datatype.Map  with type key = t

include FCMap.S
module 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

Build a datatype of the map according to the datatype of values in the map.