ope from module <span 
class="pcrr7t-">M</span>, but does bring in any instances
visible in <span 
class="pcrr7t-">M</span>. A module whose only purpose is to provide instance declarations can have an empty export list. For
example
     <div class="quote">
                                                                                   

                                                                                   
     <div class="verbatim" id="verbatim-95">
&#x00A0;&#x00A0;module&#x00A0;MyInstances