     <p class="noindent"> A module can name its own local definitions in its export list using its own name in the &#8220;<span 
class="pcrr7t-">module</span><span 
class="pcrr7t-">&#x00A0;M</span>&#8221; syntax,
     because a local declaration brings into scope both a qualified and unqualified name (Section&#x00A0;<a 
href="#x11-1080005.5.1">5.5.1<!--tex4ht:ref: qualifiers --></a>). For
     example:
         <div class="quote">
                                                                             