lass="td11"> <span 
class="pcrr7t-">B.x</span>, <span 
class="pcrr7t-">B.y</span>            </td>
</tr><tr 
class="hline"><td><hr /></td><td><hr /></td></tr><tr  
 style="vertical-align:baseline;" id="TBL-86-15-"><td  style="white-space:nowrap; text-align:left;" id="TBL-86-15-1"  
class="td11">                               </td>
</tr></table></div></div>
<p class="noindent"> In all cases, all instance declarations in scope in module <span 
class="pcrr7t-">A</span> are imported (Section&#x00A0;<a 
href="#x