Module Rangemap


module Rangemap: sig .. end
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.
Consult the Plugin Development Guide for additional details.


module type OrderedType = sig .. end
Input signature of the functor Map.Make.

type fuzzy_order =
| Above
| Below
| Match
module type S = sig .. end
Output signature of the functor Map.Make.
module Make: 
functor (Ord : OrderedType) -> S with type key = Ord.t
Functor building an implementation of the map structure given a totally ordered type.