module Make_Map: functor (Map : MAP) -> functor (Data : Project.Datatype.S) -> S with type t = Data.t Map.t
functor (
Map
:
MAP
) ->
Data
Project.Datatype.S
S
with type t = Data.t Map.t
Must not be used if type H.key is equal to type Project.t
H.key
Project.t