Searched refs:combine_unifiers (Results 1 – 1 of 1) sorted by relevance
2241 static Substitution combine_unifiers(const TupleKindPtr &kind1, in combine_unifiers() function2268 return combine_unifiers(kind1->right(), kind2->right(), unifier_left); in compute_pair_unifier()2325 unifier = combine_unifiers(kind1[i], kind2[i], unifier); in compute_unifier()