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

コード例 #1

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

static void read_uvar_cnstr(environment const & env, io_state const &, deserializer & d) {
    name n    = read_name(d);
    level lvl = read_level(d);
    env->add_uvar_cnstr(n, lvl);
}