class interface KL_IMPORTED_INTEGER_ROUTINES

feature(s) from KL_IMPORTED_INTEGER_ROUTINES
   --  Access

   INTEGER_: KL_INTEGER_ROUTINES
      --  Routines that ought to be in class INTEGER

      ensure
         integer_routines_not_void: Result /= Void


end of KL_IMPORTED_INTEGER_ROUTINES