# Module Cf_ordered

    module Cf_ordered: sig .. end

Ordered types. A functor for composing key-value pairs using an associated total ordering function. This is used in data structure modules like `Cf_rbtree` and `Cf_sbheap`.

    module type Total_T = sig .. end

The module type defining a type `t` and a corresponding function to give the total order of all values of that type.

    module Int_order: Total_T  with type t = int

The order of integers.