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

コード例 #1

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

static void read_builtin_set(environment const & env, io_state const &, deserializer & d) {
    env->add_builtin_set(read_expr(d));
}