External Names
Next: Scope Rules
Up: ScopesDeclarations, and
Previous: Scoping Units
An identifier that is used in a scope where it is not defined is an
external name. External names are used to denote specifications
and equates from other program units (1.7).
theta-questions@lcs.mit.edu