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