module Rangemap:Association tables over ordered types.sig
..end
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
Map.Make
.
type
fuzzy_order =
| |
Above |
| |
Below |
| |
Match |
module type S =sig
..end
Map.Make
.
module Make: