C++ (Cpp) serializer::write_boolの例

コード例 #1

ファイル: backward_lemmas.cpp プロジェクト: avigad/lean

 void write(serializer & s) const {
     s.write_bool(m_eager);
 }