Searched refs:compute_pair_unifier (Results 1 – 1 of 1) sorted by relevance
2171 static Substitution compute_pair_unifier(const TupleKindPtr &kind1, in compute_pair_unifier() function2209 return compute_pair_unifier(kind1, kind2); in compute_unifier()