a> &#x00BB; Absint</nav><header class="odoc-preamble"><h1 id="abstract-interpretation-framework"><a href="#abstract-interpretation-framework" class="anchor"></a>Abstract Interpretation Framework</h1><p><a href="Absint/index.html"><code>Absint</code></a> is Infer's abstract interpretation framework, the recommended way to write analyses in Infer.</p><p>Important modules:</p><ul><li><a href="Absint/AbstractInterpreter/index.html"><code>Absint.AbstractInterpreter</code></a></li><li><a href="Absint/AbstractDoma