C++ (Cpp) serializer::write_string Examples

Example #1

File: prenum.cpp Project: avigad/lean

 virtual void write(serializer & s) const {
     s.write_string(*g_prenum_opcode);
     s << m_value;
 }

Example #2

File: let.cpp Project: GallagherCommaJack/lean

 virtual void write(serializer & s) const {
     s.write_string(get_let_opcode());
     s << m_var_name;
 }

Example #3

File: projection.cpp Project: sakas--/lean

 virtual void write(serializer & s) const {
     s.write_string(*g_projection_opcode);
     s << m_I_name << m_constructor_name << m_proj_name << m_idx << m_ps << m_type << m_val;
 }

Example #4

File: resolve_macro.cpp Project: GallagherCommaJack/lean

 virtual void write(serializer & s) const { s.write_string(*g_resolve_opcode); }

Example #5

File: choice.cpp Project: avigad/lean

 virtual void write(serializer & s) const override {
     // we should be able to write choice expressions because of notation declarations
     s.write_string(*g_choice_opcode);
 }

Example #6

File: typed_expr.cpp Project: avigad/lean

 virtual void write(serializer & s) const {
     s.write_string(get_typed_expr_opcode());
 }