Definition
export_stm : export identifier ;
Purpose
An export_stm sets the visibility of the element given by identifier to be public. This is not intended to be used in lieu of the public label. It is intended to permit all elements of a module to be localized in a private label, and then some of those elements to be exported
Semantics
The element given by identifier should not already be public.
