module Shape: functor (Key : Id_Datatype) -> sig .. end
functor (
Key
:
Id_Datatype
) ->
sig
end
This functor exports the shape of the maps indexed by keys Key. Those shapes can be used by various functions to efficiently build new maps whose shape are already known.
type 'value t
'value