Searched defs:unifier (Results 1 – 1 of 1) sorted by relevance
2220 const TupleKindPtr &kind2, const Substitution &unifier) in combine_unifiers()2297 Substitution unifier; in compute_unifier() local2325 auto unifier = compute_unifier(general, renamed); in unify() local