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