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.