chickadee » varsubst » subst-lookup

subst-lookup:procedure

Looks up symbol K in the given substitution environment, and returns the term associated with it.