ntry point of this library is the module: <a href="Biabduction/index.html"><code>Biabduction</code></a>.</p><h2 id="library-infer.cstubs"><a href="#library-infer.cstubs" class="anchor"></a>Library infer.CStubs</h2><p>The entry point of this library is the module: <a href="CStubs/index.html"><code>CStubs</code></a>.</p><h2 id="library-infer.checkers"><a href="#library-infer.checkers" class="anchor"></a>Library infer.Checkers</h2><p>The entry point of this library is the module: <a href="Checkers/index.html">