Searched defs:compute_unifier (Results 1 – 1 of 1) sorted by relevance
2286 static Substitution compute_unifier(const TupleKindPtr &kind1, in compute_unifier() function2317 static Substitution compute_unifier(const Kind &kind1, const Kind &kind2) in compute_unifier() function