Functor Datatype.Make_Map


module Make_Map: 
functor (Map : MAP) ->
functor (Data : Project.Datatype.S) -> S with type t = Data.t Map.t
Generic functor building a map datatype.

Must not be used if type H.key is equal to type Project.t
Parameters:
Map : MAP
Data : Project.Datatype.S