An environment is changed in place, so a call given a variable holding a tracked environment reads everything written into the environment so far, through the writes, unless the call only looks up bindings in it (see EnvironmentLookups).
An environment is changed in place, so a call given a variable holding a tracked environment reads everything written into the environment so far, through the writes, unless the call only looks up bindings in it (see EnvironmentLookups).