Searched refs:unifier (Results 1 – 3 of 3) sorted by relevance
2242 const TupleKindPtr &kind2, const Substitution &unifier) in combine_unifiers() argument2244 auto k1 = apply(kind1, unifier); in combine_unifiers()2245 auto k2 = apply(kind2, unifier); in combine_unifiers()2249 return compose(unifier, u); in combine_unifiers()2319 Substitution unifier; in compute_unifier() local2325 unifier = combine_unifiers(kind1[i], kind2[i], unifier); in compute_unifier()2327 return unifier; in compute_unifier()2347 auto unifier = compute_unifier(general, renamed); in unify() local2349 if (unifier.size() == 0) in unify()2352 return { true, general.apply(unifier) }; in unify()
3045 "msguniq permet de trouver et d'unifier les doublons dans un catalogue de traductions.\n"
218308 unifier