6.5 Generating A Unit from Context
Creates a unit that implements an interface using bindings in the
enclosing environment. The generated unit is essentially the same as
for each id that must be defined to satisfy the exports, and
each corresponding expr produces the value of id in
the environment of the unit-from-context expression. (The unit
cannot be written as above, however, since each id definition
within the unit shadows the binding outside the unit form.)
See unit for the grammar of tagged-sig-spec.
, in that a unit is constructed from
the enclosing environment, and like define-unit
, in that
is bound to static information to be used later with inference.