Searched refs:compute_unifier (Results 1 – 1 of 1) sorted by relevance
2230 static Substitution compute_unifier(const TupleKindPtr &kind1,2246 auto u = compute_unifier(k1, k2); in combine_unifiers()2265 auto unifier_left = compute_unifier(kind1->left(), kind2->left()); in compute_pair_unifier()2286 static Substitution compute_unifier(const TupleKindPtr &kind1, in compute_unifier() function2317 static Substitution compute_unifier(const Kind &kind1, const Kind &kind2) in compute_unifier() function2347 auto unifier = compute_unifier(general, renamed); in unify()2415 const auto &subs = compute_unifier(arg_kind.back(), Anonymous); in specialize_anonymous_arg()