      

                                                                                   
         <div class="verbatim" id="verbatim-88">
&#x00A0;&#x00A0;module&#x00A0;Mod1(&#x00A0;module&#x00A0;Mod1,&#x00A0;module&#x00A0;Mod2&#x00A0;)&#x00A0;where
&#x00A0;<br />&#x00A0;&#x00A0;import&#x00A0;Mod2
&#x00A0;<br />&#x00A0;&#x00A0;import&#x00A0;Mod3
</div>
         <p class="noindent"></div>
     <p class="noindent"> Here module <span 
class="pcrr7t-">Mod1</span> exports all local definitions as well as those