Searched refs:compute_unifier (Results 1 – 1 of 1) sorted by relevance
2139 static Substitution compute_unifier(const TupleKindPtr &kind1,2155 auto u = compute_unifier(k1, k2); in combine_unifiers()2174 auto unifier_left = compute_unifier(kind1->left(), kind2->left()); in compute_pair_unifier()2195 static Substitution compute_unifier(const TupleKindPtr &kind1, in compute_unifier() function2226 static Substitution compute_unifier(const Kind &kind1, const Kind &kind2) in compute_unifier() function2256 auto unifier = compute_unifier(general, renamed); in unify()