# Module Cf_rbtree

    module Cf_rbtree: sig .. end

Functional red-black binary trees.

###### Overview

This module implements functional sets and maps based on red-black binary trees. This permits trees that can be used as an alternative to the `Set` and `Map` modules in the Ocaml standard library. For many operations on sets and maps, red-black binary trees give better performance that the balanced trees in the standard library (though some applications may see better performance with the standard modules).

###### Overview

This module implements functional sets and maps based on red-black binary trees. This permits trees that can be used as an alternative to the `Set` and `Map` modules in the Ocaml standard library. For many operations on sets and maps, red-black binary trees give better performance that the balanced trees in the standard library (though some applications may see better performance with the standard modules).

###### Module

    module Set: functor (E : Cf_ordered.Total_T) -> Cf_set.T  with module Element = E

A functor that produces a module of type `Cf_set` to represent sets with the element type described by `E`.

    module Map: functor (K : Cf_ordered.Total_T) -> Cf_map.T  with module Key = K

A functor that produces a module of type `Cf_map` to represent maps with keys of the type described by `K`.