doc-preamble"><h1 id="infer-index"><a href="#infer-index" class="anchor"></a>infer index</h1></header><nav class="odoc-toc"><ul><li><a href="#library-infer.atdgenerated">Library infer.ATDGenerated</a></li><li><a href="#library-infer.absint">Library infer.Absint</a></li><li><a href="#library-infer.bo">Library infer.BO</a></li><li><a href="#library-infer.backend">Library infer.Backend</a></li><li><a href="#library-infer.biabduction">Library infer.Biabduction</a></li><li><a href="#library-infer.cstubs">Library