- void write_int(long long n);
- void write_string(const std::string &s);
- void write_float(float f);
- void write_enum(const std::string &e);
+ void write_int(IntType::Store n);
+ void write_string(const StringType::Store &s);
+ void write_float(FloatType::Store f);
+ void write_symbol(const SymbolType::Store &s);