Class Extensible.order

A class to facilitate total ordering relations on extensible types.

method compare : 'a -> 'a -> int

Compares a and b with standard polymophic object order.