</p></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-astate"><a href="#type-astate" class="anchor"></a><code><span><span class="keyword">type</span> astate</span><span> = <a href="argument-1-AbductiveDomain/index.html#type-astate">AbductiveDomain.astate</a></span></code></div><div class="spec-doc"><p><code>PulseAbductiveDomain.t</code> but we cannot mention it there otherwise it would create a circular dependency.</p></div></div><h3 id="functions-to-normalize-abstract-values"><a h