C++ (Cpp) is_marked_as_comp_irrelevantの例

コード例 #1

ファイル: eta_expansion.cpp プロジェクト: soonhokong/lean-osx

 virtual expr visit_macro(expr const & e) override {
     if (is_marked_as_comp_irrelevant(e))
         return e;
     else if (auto r = expand_core(e))
         return *r;
     else
         return compiler_step_visitor::visit_macro(e);
 }

コード例 #2

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

expr compiler_step_visitor::visit_macro(expr const & e) {
    if (is_marked_as_comp_irrelevant(e))
        return e;
    else
        return replace_visitor::visit_macro(e);
}