Esempi in C++ (Cpp) per to_ceqvs_fn

Esempio n. 1

File: ceqv.cpp Progetto: pazthor/lean

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

Esempio n. 2

File: ceqv.cpp Progetto: digama0/lean

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