text: <!DOCTYPE html><html xmlns="http://www.w3.org/1999/xhtml">
   <head>
    <title>
     Stop (test_package+re.Stop)
    </title>
    <link rel="stylesheet" href="../../odoc.css">
    <meta charset="utf-8">
    <meta name="generator" content="odoc %%VERSION%%">
    <meta name="viewport" content="width=device-width,initial-scale=1.0">
    <script src="../../highlight.pack.js"></script>
    <script>
     hljs.initHighlightingOnLoad();
    </script>
   </head>
   <body>
    <nav>
     <a href="../index.html">Up</a> – <a href="../index.html">test_package+re</a> » Stop
    </nav>
    <header>
     <h1>
      Module <code>Stop</code>
     </h1>
     <p>
      This test cases exercises stop comments.
     </p>
    </header>
    <div class="content">
     <div>
      <div class="spec value" id="val-foo">
       <a href="#val-foo" class="anchor"></a><code><span class="keyword">let</span> foo: int;</code>
      </div>
      <div>
       <p>
        This is normal commented text.
       </p>
      </div>
     </div>
     <aside>
      <p>
       The next value is <code>bar</code>, and it should be missing from the documentation. There is also an entire module, <code>M</code>, which should also be hidden. It contains a nested stop comment, but that stop comment should not turn documentation back on in this outer module, because stop comments respect scope.
      </p>
      <p>
       Documentation is on again.
      </p>
      <p>
       Now, we have a nested module, and it has a stop comment between its two items. We want to see that the first item is displayed, but the second is missing, and the stop comment disables documenation only in that module, and not in this outer module.
      </p>
     </aside>
     <div class="spec module" id="module-N">
      <a href="#module-N" class="anchor"></a><code><span class="keyword">module</span> <a href="N/index.html">N</a>: { ... };</code>
     </div>
     <div class="spec value" id="val-lol">
      <a href="#val-lol" class="anchor"></a><code><span class="keyword">let</span> lol: int;</code>
     </div>
    </div>
   </body>
  </html>
  