ex.html">Up</a> â€“ <a href="../../../index.html">infer</a> &#x00BB; <a href="../../index.html">Absint</a> &#x00BB; <a href="../index.html">AbstractDomain</a> &#x00BB; InvertedMap</nav><header class="odoc-preamble"><h1>Module <code><span>AbstractDomain.InvertedMap</span></code></h1><p>Map domain ordered by intersection over the set of bindings, so the top element is the empty map. Every element implictly maps to top unless it is explicitly bound to something else</p></header><nav class="odoc-toc"><ul><