Searched refs:genImpl (Results 1 – 1 of 1) sorted by relevance
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);210 void CodeGen::genImpl(const ast::EraseStmt *stmt) { in genImpl() function in CodeGen[all …]