Searched refs:unifier_left (Results 1 – 1 of 1) sorted by relevance
2243 auto unifier_left = compute_unifier(kind1->left(), kind2->left()); in compute_pair_unifier() local2244 if (unifier_left.size() == 0) in compute_pair_unifier()2246 return combine_unifiers(kind1->right(), kind2->right(), unifier_left); in compute_pair_unifier()