e: the set of entities exported by an export list is the union of the entities exported by the
individual items of the list.
 <p class="noindent"> It makes no difference to an importing module how an entity was exported. For example, a field name <span 
class="pcrr7t-">f</span> from data
type <span 
class="pcrr7t-">T</span> may be exported individually (<span 
class="pcrr7t-">f</span>, item (1) above); or as an explicitly-named member of its data type (<span 
class="pcrr7t-">T(f)</span>,
item (2)); or as an