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

コード例 #1

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

static environment update(environment const & env, scope_mng_ext const & ext) {
    return env.update(g_ext->m_ext_id, std::make_shared<scope_mng_ext>(ext));
}