Definition
import_stm : import ref ; | import ref . * ;
Purpose
An import_stm localizes the given element. Importing a local element will have no effect; the statement is useful only to localize declarations in a module. The variant of this statement which ends in a star token localizes all elements of the given module. The localized element has inherits the visibility of the label under which the import_stm falls.
Semantics
In the normal import_stm, the reference may be any type. In the star-variant, however, it must be a module.
Additionally, importing a local symbol should produce an error.
