C++ (Cpp) environment::is_builtinの例

コード例 #1

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

 void print_axioms(expr const & ex) {
     for_each(ex, [&] (expr const & e, unsigned) {
         if (is_constant(e) && !m_already_printed.count(const_name(e))) {
             auto decl = m_env.get(const_name(e));
             m_already_printed.insert(decl.get_name());
             print_axioms(decl);
             if (decl.is_constant_assumption() && !m_env.is_builtin(decl.get_name()))
                 print_decl(decl);
         }
         return true;
     });
 }