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

コード例 #1

ファイル: object.cpp プロジェクト: Paradoxika/lean

static void read_variable(environment const & env, io_state const &, deserializer & d) {
    name n    = read_name(d);
    expr t    = read_expr(d);
    env->add_var(n, t);
}