"index.html">Index</a> &#x00BB; Stop_dead_link_doc
  </nav>
  <header class="odoc-preamble">
   <h1>Module <code><span>Stop_dead_link_doc</span></code></h1>
  </header>
  <div class="odoc-content">
   <div class="odoc-spec">
    <div class="spec module anchored" id="module-Foo">
     <a href="#module-Foo" class="anchor"></a>
     <code>
      <span><span class="keyword">module</span> 
       <a href="Stop_dead_link_doc-Foo.html">Foo</a>
      </span>
      <span> : <span class="keyword">sig</span> ... 
    