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 
val compare : ('value -> 'value -> int) ->
'value t -> 'value t -> int
val equal : 'value t -> 'value t -> bool
val pretty : 'value Pretty_utils.formatter -> 'value t Pretty_utils.formatter
val hash : 'value t -> int
val iter : (Key.t -> 'value -> unit) -> 'value t -> unit