...Manual
This research is sponsored by the Advanced Research Project Agency, ARPA order number 018 (formerly 8230), monitored by the U.S. Army Research Laboratory under contract DAAB07-91-C-Q518.

...Manual
Copyright (c) 1994 Computer Sciences Department, University of Wisconsin - Madison. All Rights Reserved.

...defined.
Note that it is only the names (identifiers) that are local, not the things to which they refer. A constant, type, etc. whose name is not exported might nonetheless be referenced outside the module through another name or expression.

...value.
Note that the name is bound to the value of the expression, not the expression itself. IF THE EXPRESSION CONTAINS NAMES DEFINED IN OTHER MODULES, THE VALUE MAY NOT BE RESOLVED UNTIL ALL THE MODULES ARE LINKED TOGETHER. SEE THE DISCUSSION OF LINKING ABOVE.

...types.
This description may need more work. It is intended to convey the same semantics as in the corresponding fragment of C++.

zwilling@caseus.cs.wisc.edu
Thu Nov 3 14:16:28 CST 1994