Class Extensible.std

A class comprising both equality and total ordering relations on extensible types.

inherit 'a order
inherit 'a equal