Searched refs:unifier (Results 1 – 1 of 1) sorted by relevance
2151 const TupleKindPtr &kind2, const Substitution &unifier) in combine_unifiers() argument2153 auto k1 = apply(kind1, unifier); in combine_unifiers()2154 auto k2 = apply(kind2, unifier); in combine_unifiers()2158 return compose(unifier, u); in combine_unifiers()2228 Substitution unifier; in compute_unifier() local2234 unifier = combine_unifiers(kind1[i], kind2[i], unifier); in compute_unifier()2236 return unifier; in compute_unifier()2256 auto unifier = compute_unifier(general, renamed); in unify() local2258 if (unifier.size() == 0) in unify()2261 return { true, general.apply(unifier) }; in unify()