module Shape:
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: |
|
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