Section Header
    + name := COMPARABLE;
    - comment := " All classes handling COMPARABLE objects with a total order\
\relation should inherit from this class.";
Section Inherit
    - parent_object:OBJECT :=
Section Public
    - '==' Right 60 other:SELF :BOOLEAN <-
    - '<' Left 1 other:SELF :BOOLEAN <-
        Is `self' strictly less than `other'?
    - '<=' Left 1 other:SELF :BOOLEAN <-
        Is `self' less than or equal `other'?
    - '>' other:SELF :BOOLEAN <-
        Is `self' strictly greater than `other'?
    - '>=' other:SELF :BOOLEAN <-
        Is `self' greater than or equal than `other'?
    - in_range lower:SELF to upper:SELF :BOOLEAN <-
        Return true if `self' is in range [`lower'..`upper']
    - compare other:SELF :INTEGER <-
        If current object equal to `other', 0;
        if smaller, -1; if greater, 1.
    - min other:SELF :SELF <-
        Minimum of `self' and `other'.
    - max other:SELF :SELF <-
        Maximum of `self' and `other'.