pub fn unify(t1: &Type, t2: &Type) -> Result<Subst, TypeError>Expand description
Compute a most-general unifier for two types.
This is the “pure” unifier: it returns an explicit substitution map and is
easy to read/compose in isolation. The type inference engine uses Unifier
directly to avoid allocating and composing persistent maps at every
unification step.