s</code></a>.</p><h2 id="library-infer.concurrency"><a href="#library-infer.concurrency" class="anchor"></a>Library infer.Concurrency</h2><p>The entry point of this library is the module: <a href="Concurrency/index.html"><code>Concurrency</code></a>.</p><h2 id="library-infer.costlib"><a href="#library-infer.costlib" class="anchor"></a>Library infer.Costlib</h2><p>The entry point of this library is the module: <a href="Costlib/index.html"><code>Costlib</code></a>.</p><h2 id="library-infer.datalog"><a href="#