                  

                                                                                   
         <div class="verbatim" id="verbatim-96">
&#x00A0;&#x00A0;module&#x00A0;M&#x00A0;where
&#x00A0;<br />&#x00A0;&#x00A0;&#x00A0;&#x00A0;f&#x00A0;x&#x00A0;=&#x00A0;...
&#x00A0;<br />&#x00A0;&#x00A0;&#x00A0;&#x00A0;g&#x00A0;x&#x00A0;=&#x00A0;M.f&#x00A0;x&#x00A0;x
</div>
         <p class="noindent"></div>
     <p class="noindent"> is legal. The <span 
class="ptmri7t-">defining </span>occurrence must men