    deferred class
    	COMPARABLE

    General
    	cluster: base
    	description:
    		"Objects that may be compared according to a total order relation

    		Note: The basic operation is `<' (less than); others are defined
    		in terms of this operation and is_equal."

    Ancestors
    	PART_COMPARABLE*

    Queries
    	infix "<" (other: [like Current] COMPARABLE): BOOLEAN
    	infix "<=" (other: [like Current] COMPARABLE): BOOLEAN
    	infix ">" (other: [like Current] COMPARABLE): BOOLEAN
    	infix ">=" (other: [like Current] COMPARABLE): BOOLEAN
    	is_equal (other: [like Current] COMPARABLE): BOOLEAN
    	max (other: [like Current] COMPARABLE): [like Current] COMPARABLE
    	min (other: [like Current] COMPARABLE): [like Current] COMPARABLE
    	three_way_comparison (other: [like Current] COMPARABLE): INTEGER_32

    Constraints
    	irreflexive comparison