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

コード例 #1

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

static void read_builtin(environment const & env, io_state const &, deserializer & d) {
    expr v      = read_expr(d);
    env->add_builtin(v);
}