tion
those names. For example:
     <div class="quote">
                                                                                   

                                                                                   
     <div class="verbatim" id="verbatim-98">
&#x00A0;&#x00A0;module&#x00A0;A&#x00A0;where
&#x00A0;<br />&#x00A0;&#x00A0;&#x00A0;&#x00A0;import&#x00A0;B
&#x00A0;<br />&#x00A0;&#x00A0;&#x00A0;&#x00A0;import&#x00A0;C
&#x00A0;<br />&#x00A0;&#x00A0;&#x00A0;&#x00A0;tup&#x00A0;=&#x00A0;(b,&#x0