Exemplos de to_ceqvs_fn em C++ (Cpp)

Exemplo n.º 1

Arquivo: ceqv.cpp Projeto: pazthor/lean

list<expr_pair> to_ceqvs(tmp_type_context & tctx, expr const & e, expr const & H) {
    return to_ceqvs_fn(tctx)(e, H);
}

Exemplo n.º 2

Arquivo: ceqv.cpp Projeto: digama0/lean

list<expr_pair> to_ceqvs(type_checker & tc, expr const & e, expr const & H) {
    return to_ceqvs_fn(tc)(e, H);
}