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

コード例 #1

ファイル: unfold_macros.cpp プロジェクト: fgdorais/lean

declaration unfold_untrusted_macros(environment const & env, declaration const & d) {
    return unfold_untrusted_macros(env, d, env.trust_lvl());
}

コード例 #2

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

expr unfold_untrusted_macros(environment const & env, expr const & e) {
    return unfold_untrusted_macros(env, e, optional<unsigned>(env.trust_lvl()));
}

コード例 #3

ファイル: unfold_macros.cpp プロジェクト: fgdorais/lean

expr unfold_untrusted_macros(environment const & env, expr const & e) {
    return unfold_untrusted_macros(env, e, env.trust_lvl());
}

コード例 #4

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

declaration unfold_untrusted_macros(environment const & env, declaration const & d) {
    return unfold_untrusted_macros(env, d, optional<unsigned>(env.trust_lvl()));
}