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