C++ (Cpp) to_ceqvs_fn示例

示例#1

文件： ceqv.cpp 项目： pazthor/lean

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

示例#2

文件： ceqv.cpp 项目： digama0/lean

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