Module type Cf_ordered.Total_T

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.


type t 

An abstract type

val compare : t -> t -> int

compare a b compares the total ordering of a and b, and it returns zero if the two values are of equal total order, a negative integer if a follows b, and a positive integer if a precedes b in the total ordering. The Pervasives.compare function is a suitable value in modules of this type.