(subst U:any V:any W:any): any expr
Returns the result of substituting U for all occurrences of V in W. Copies
all of W which is not replaced by U. The test used is equal.
(sublis X:a-list Y:any): any expr
This performs a series of substs in parallel. The value returned is the result
of substituting the cdr of each element of the a-list X for every occurrence
of the car part of that element in Y. Sublis is not quite the correct function
for arbitrary code substitutions. As illustrated below, substitutions may enter
places you might wish they did not.
(subla U:a-list V:any): any expr
Eq version of sublis; replaces atoms only.