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