chickadee » varsubst » subst-extend

subst-extend:procedure

Adds the binding K * V to the given substitution environment, and returns the resulting substitution environment.