AST.Unify.Lookup

Union-find lookup of unification variables

Documentation

semiPruneLookup :: Unify m t => Tree (UVarOf m) t -> m (Tree (UVarOf m) t, Tree (UTerm (UVarOf m)) t)

Look up a variable, and return last variable pointing to result. Prunes all variables on way to point to the last variable (path-compression ala union-find).