ames exported from the module.
     <p class="noindent"> The list must name only entities exported by the imported module. The list may be empty, in which
     case nothing except the instances is imported.
     </li>
     <li 
  class="enumerate" id="x11-102004x2">Entities can be excluded by using the form <span 
class="pcrr7t-">hiding(</span><span 
class="cmmi-10">import</span><sub><span 
class="cmr-7">1</span></sub><span 
class="cmmi-10">&#x00A0;</span><span 
class="pcrr7t-">,</span><span 
class="cmmi-10