Searched refs:unifier (Results 1 – 1 of 1) sorted by relevance
2220 const TupleKindPtr &kind2, const Substitution &unifier) in combine_unifiers() argument2222 auto k1 = apply(kind1, unifier); in combine_unifiers()2223 auto k2 = apply(kind2, unifier); in combine_unifiers()2227 return compose(unifier, u); in combine_unifiers()2297 Substitution unifier; in compute_unifier() local2303 unifier = combine_unifiers(kind1[i], kind2[i], unifier); in compute_unifier()2305 return unifier; in compute_unifier()2325 auto unifier = compute_unifier(general, renamed); in unify() local2327 if (unifier.size() == 0) in unify()2330 return { true, general.apply(unifier) }; in unify()