Substituting variables in unified expressions

[jarble]

Does this library have a method to substitute variables in expressions after they have been unified?
It seems that the expressions are unchanged after unification:

from unification import *
anti1 = [var("x"),">","4"]
anti2 = ["3",">",var("y")]
unify(anti1,anti2)
print(anti1)

This program prints [~x, '>', '4'], but I wanted to get ['3', '>', '4'] instead.

[brandonwillard]

See unification.reify.

In your example, it can be used as follows:

s = unify(anti1, anti2)
reify(anti1, s)
# ['3', '>', '4']

[jarble]

@brandonwillard Is this function documented anywhere? The README doesn't mention it.

[brandonwillard]

It's been added: #34.

[brandonwillard]

Nope, here instead: #35.