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