- substitute-vars TERM ENVprocedure
Finds all the vars in term and substitutes them with values given in the environment. It's an error if a term contains an unbound variable.
Finds all the vars in term and substitutes them with values given in the environment. It's an error if a term contains an unbound variable.