Given
(module (name) (begin c1 ...) (import (A)) (begin c2 ...) (import (B)) (begin c3 ...))what environments are c1, c2, c3 evaluated in? Two possibilities: all three are evaluated in an environment jointly composed of the (A) and (B) imports, or c1 is evaluated in the empty environment, c2 in the (A) environment, and only c3 in the joint environment.
This was overridden in part later to specify that use before import is an error.
We voted that all imports are independent of code, and are established before any code is expanded.