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