Module Cf_rbtree.Map

An alternative to the Map module in the OCaml standard library.

module type Profile = sig ... end

The module type of functional maps.

module Create (K : Cf_relations.Order) : Profile with type index := K.t

A functor to create a Map module.