61   void genImpl(const ast::CompoundStmt *stmt);
62   void genImpl(const ast::EraseStmt *stmt);
63   void genImpl(const ast::LetStmt *stmt);
64   void genImpl(const ast::ReplaceStmt *stmt);
65   void genImpl(const ast::RewriteStmt *stmt);
66   void genImpl(const ast::ReturnStmt *stmt);
72   void genImpl(const ast::UserConstraintDecl *decl);
73   void genImpl(const ast::UserRewriteDecl *decl);
74   void genImpl(const ast::PatternDecl *decl);
183           [&](auto derivedNode) { this->genImpl(derivedNode); })  in gen()
191 void CodeGen::genImpl(const ast::CompoundStmt *stmt) {  in genImpl()  function in CodeGen
210 void CodeGen::genImpl(const ast::EraseStmt *stmt) {  in genImpl()  function in CodeGen
221 void CodeGen::genImpl(const ast::LetStmt *stmt) { genVar(stmt->getVarDecl()); }  in genImpl()  function in CodeGen
223 void CodeGen::genImpl(const ast::ReplaceStmt *stmt) {  in genImpl()  function in CodeGen
246 void CodeGen::genImpl(const ast::RewriteStmt *stmt) {  in genImpl()  function in CodeGen
256 void CodeGen::genImpl(const ast::ReturnStmt *stmt) {  in genImpl()  function in CodeGen
265 void CodeGen::genImpl(const ast::UserConstraintDecl *decl) {  in genImpl()  function in CodeGen
271 void CodeGen::genImpl(const ast::UserRewriteDecl *decl) {  in genImpl()  function in CodeGen
277 void CodeGen::genImpl(const ast::PatternDecl *decl) {  in genImpl()  function in CodeGen