class interface KL_IMPORTED_FIXED_ARRAY_ROUTINES

feature(s) from KL_IMPORTED_FIXED_ARRAY_ROUTINES
   --  Access

   FIXED_ANY_ARRAY_: KL_FIXED_ARRAY_ROUTINES[ANY]
      --  Routines that ought to be in class FIXED_ARRAY

      ensure
         fixed_any_array_routines_not_void: Result /= Void

   FIXED_BOOLEAN_ARRAY_: KL_FIXED_ARRAY_ROUTINES[BOOLEAN]
      --  Routines that ought to be in class FIXED_ARRAY

      ensure
         fixed_boolean_array_routines_not_void: Result /= Void

   FIXED_INTEGER_ARRAY_: KL_FIXED_ARRAY_ROUTINES[INTEGER]
      --  Routines that ought to be in class FIXED_ARRAY

      ensure
         fixed_integer_array_routines_not_void: Result /= Void

   FIXED_STRING_ARRAY_: KL_FIXED_ARRAY_ROUTINES[STRING]
      --  Routines that ought to be in class FIXED_ARRAY

      ensure
         fixed_string_array_routines_not_void: Result /= Void

feature(s) from KL_IMPORTED_FIXED_ARRAY_ROUTINES
   --  Type anchors

   FIXED_ANY_ARRAY_TYPE: FIXED_ARRAY[ANY]

   FIXED_BOOLEAN_ARRAY_TYPE: FIXED_ARRAY[BOOLEAN]

   FIXED_INTEGER_ARRAY_TYPE: FIXED_ARRAY[INTEGER]

   FIXED_STRING_ARRAY_TYPE: FIXED_ARRAY[STRING]


end of KL_IMPORTED_FIXED_ARRAY_ROUTINES