module std::string;
set header <string>;

using std::algorithm;
using std::locale;

template<> class  allocator;
template<> struct char_traits;
template<> class  basic_string;

typedef basic_string<char> string;
