expanded class interface SCOOP_UTILITIES

feature(s) from SCOOP_UTILITIES   string_import (s: separate STRING): STRING
      ensure
         s /= Void implies s.is_equal(Result);
         s = Void implies Result = Void



end of expanded SCOOP_UTILITIES