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