</nav><div class="odoc-content"><h2 id="library-infer.atdgenerated"><a href="#library-infer.atdgenerated" class="anchor"></a>Library infer.ATDGenerated</h2><p>The entry point of this library is the module: <a href="ATDGenerated/index.html"><code>ATDGenerated</code></a>.</p><h2 id="library-infer.absint"><a href="#library-infer.absint" class="anchor"></a>Library infer.Absint</h2><p>The entry point of this library is the module: <a href="Absint/index.html"><code>Absint</code></a>.</p><h2 id="library-infer.bo">