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

コード例 #1

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

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