class interface KL_IMPORTED_STRING_BUFFER_ROUTINES feature(s) from KL_IMPORTED_STRING_BUFFER_ROUTINES -- Access STRING_BUFFER_: KL_STRING_BUFFER_ROUTINES -- Routines that ought to be in class STRING_BUFFER ensure string_buffer_routines_not_void: Result /= Void feature(s) from KL_IMPORTED_STRING_BUFFER_ROUTINES -- Type anchors STRING_BUFFER_TYPE: STRING end of KL_IMPORTED_STRING_BUFFER_ROUTINES