module Map: Extlib.ExtMap.Map
Association tables over ordered types.
This module implements applicative association tables, also known as
finite maps or dictionaries, given a total ordering function
over the keys.
All operations over maps are purely applicative (no side-effects).
The implementation uses balanced binary trees, and therefore searching
and insertion take time logarithmic in the size of the map.
Author(s): Xavier Leroy (Base module), David Rajchenbach-Teller
module type OrderedType = Extlib.Interfaces.OrderedType
Map.Make
.
module type S =sig
..end
module Map.StringMap:Extlib.ExtMap.Map.S
with type key = String.t
module Map.IStringMap:Extlib.ExtMap.Map.S
with type key = String.t
module Map.NumStringMap:Extlib.ExtMap.Map.S
with type key = String.t
module Map.RopeMap:Extlib.ExtMap.Map.S
with type key = Rope.t
module Map.IRopeMap:Extlib.ExtMap.Map.S
with type key = Rope.t
module Map.IntMap:Extlib.ExtMap.Map.S
with type key = Int.t
module Map.Make:functor (
Ord
:
Extlib.ExtMap.Map.OrderedType
) ->
Extlib.ExtMap.Map.S
with type key = Ord.t