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

コード例 #1

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

static environment add_decl(environment const & env, declaration const & d) {
    auto cd = check(env, d, name_generator("test"));
    return env.add(cd);
}