module FCMap:sig
..end
Association tables over ordered types.
This signatures is a partial copy of the signature of Map.S
of
OCaml's standard library, which we extend with some new functions.
module type S =sig
..end
module Make:
Functor building an implementation of the map structure given a totally ordered type.