Section 8: Visibility Rules
The rules defining the scope of declarations and
the rules defining which identifier
are visible at (or from) various places in the text of the program are
described in this section. The formulation of these rules uses the notion
of a declarative region.
As explained in Section 3, a declaration declares
a view of an entity and associates a defining name with that view. The
view comprises an identification of the viewed entity, and possibly additional
properties. A usage name denotes a declaration. It also denotes the view
declared by that declaration, and denotes the entity of that view. Thus,
two different usage names might denote two different views of the same
entity; in this case they denote the same entity.