☰
ordered_map
container.ordered_map
Type Parameters
Constructors
Functions
§(k container.ordered_map.OK, v container.ordered_map.V) => container.this.ordered_map container.ordered_map.OK container.ordered_map.V
§
(k container.ordered_map.OK, v container.ordered_map.V)
=>
container.this.ordered_map container.ordered_map.OK container.ordered_map.V§(LM type) => container.Mutable_Map container.ordered_map.OK container.ordered_map.V [Redefinition of container.Map.as_mutable_map]
§
(LM
type
) =>
container.Mutable_Map container.ordered_map.OK container.ordered_map.V [Redefinition of container.Map.as_mutable_map]
§(k container.ordered_map.OK) => option container.ordered_map.V [Redefinition of container.Map.index [ ]]
§
(k container.ordered_map.OK)
=>
option container.ordered_map.V [Redefinition of container.Map.index [ ]]