Functor Hptmap.Shape

module Shape: 
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.
Parameters:
Key : Id_Datatype

type 'value t