class interface KL_IMPORTED_ARRAY_ROUTINES

feature(s) from KL_IMPORTED_ARRAY_ROUTINES
   --  Access

   ANY_ARRAY_: KL_ARRAY_ROUTINES[ANY]
      --  Routines that ought to be in class ARRAY

      ensure
         any_array_routines_not_void: Result /= Void

   INTEGER_ARRAY_: KL_ARRAY_ROUTINES[INTEGER]
      --  Routines that ought to be in class ARRAY

      ensure
         integer_array_routines_not_void: Result /= Void

   STRING_ARRAY_: KL_ARRAY_ROUTINES[STRING]
      --  Routines that ought to be in class ARRAY

      ensure
         string_array_routines_not_void: Result /= Void


end of KL_IMPORTED_ARRAY_ROUTINES