- subst-remove:procedure
Removes all bindings with key K from the given substitution environment and returns the resulting substitution environment.
Removes all bindings with key K from the given substitution environment and returns the resulting substitution environment.