Module FCMap

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 (Ord : Map.OrderedType-> S with type key = Ord.t

Functor building an implementation of the map structure given a totally ordered type.