Module Map


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
Input signature of the functor Map.Make.
module type S = sig .. end
module Map.StringMap: Extlib.ExtMap.Map.S  with type key = String.t
A map on strings.
module Map.IStringMap: Extlib.ExtMap.Map.S  with type key = String.t
A map on strings.
module Map.NumStringMap: Extlib.ExtMap.Map.S  with type key = String.t
A map on strings.
module Map.RopeMap: Extlib.ExtMap.Map.S  with type key = Rope.t
A map on ropes.
module Map.IRopeMap: Extlib.ExtMap.Map.S  with type key = Rope.t
A map on ropes.
module Map.IntMap: Extlib.ExtMap.Map.S  with type key = Int.t
A map on integers.
module Map.Make: 
functor (Ord : Extlib.ExtMap.Map.OrderedType) -> Extlib.ExtMap.Map.S with type key = Ord.t
Functor building an implementation of the map structure given a totally ordered type.