Binds every variable holding the environment of envDef to its new state, where that variable is bound.
envDef
Optional
Binds every variable holding the environment of
envDefto its new state, where that variable is bound.