Identifiers for entities
declared within a module declaration are normally
meaningful only in a context that
identifies the module.
The
import
declaration lifts the names of specified members of a module
directly into the current scope.
The use of
import
will be discussed more fully in §8.1.4 below, after the syntax
for expressions involving modules has been presented.
05/Jun/97