deferred class interface KL_PART_COMPARABLE feature(s) from KL_PART_COMPARABLE -- Comparison infix "<" (other: like Current): BOOLEAN -- Is current object less than other? require other_not_void: other /= Void infix "<=" (other: like Current): BOOLEAN -- Is current object less than or equal to other? require other_not_void: other /= Void ensure definition: Result = (Current < other or is_equal(other)) infix ">" (other: like Current): BOOLEAN -- Is current object greater than other? require other_not_void: other /= Void ensure definition: Result = (other < Current) infix ">=" (other: like Current): BOOLEAN -- Is current object greater than or equal to other? require other_not_void: other /= Void ensure definition: Result = (other < Current or is_equal(other)) end of deferred KL_PART_COMPARABLE