hor"></a><code><span>| </span><span><span class="constructor">Top</span></span></code></td></tr></table></div><div class="spec-doc"><p>Relations between values of logical variables(registers) and program variables</p></div></div><div class="odoc-include"><details open="open"><summary class="spec include"><code><span><span class="keyword">include</span> <a href="../../../Absint/AbstractDomain/module-type-S/index.html">Absint.AbstractDomain.S</a> <span class="keyword">with</span> <span><span class="keyword">t