class interface KL_IMPORTED_STRING_ROUTINES feature(s) from KL_IMPORTED_STRING_ROUTINES -- Access STRING_: KL_STRING_ROUTINES -- Routines that ought to be in class STRING ensure string_routines_not_void: Result /= Void end of KL_IMPORTED_STRING_ROUTINES