 imported from <span 
class="pcrr7t-">Mod2</span> but not those imported
     from <span 
class="pcrr7t-">Mod3</span>.
     <p class="noindent"> It is an error to use <span 
class="pcrr7t-">module</span><span 
class="pcrr7t-">&#x00A0;M</span> in an export list unless <span 
class="pcrr7t-">M</span> is the module bearing the export list, or <span 
class="pcrr7t-">M</span> is imported
     by at least one import declaration (qualified or unqualified).</li></ol>
<p class="noindent"> Exports lists are cumulativ