Module ergotree_ir::types::type_unify

Types unification

Structs

• TypeUnificationError
  Error on type unification

Functions

• unify_many
  Performs pairwise type unification making sure each type variable is equally substituted in all items.
• unify_one
  Finds a substitution subst of type variables such that unify_types(t1.with_subst(subst), t2) == Ok(emptySubst)