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