the imported module. Thus, an instance declaration is
in scope if and only if a chain of <span 
class="pcrr7t-">import</span> declarations leads to the module containing the instance
declaration.
                                                                                   

                                                                                   
 <p class="noindent"> For example, <span 
class="pcrr7t-">import</span><span 
class="pcrr7t-">&#x00A0;M()</span> does not bring any new names in sc