href="../index.html">Up</a> â€“ <a href="../../../index.html">infer</a> &#x00BB; <a href="../../index.html">Pulselib</a> &#x00BB; <a href="../index.html">PulseAbductiveDomain</a> &#x00BB; BaseDomainSig</nav><header class="odoc-preamble"><h1>Module type <code><span>PulseAbductiveDomain.BaseDomainSig</span></code></h1><p>signature common to the &quot;normal&quot; <code>Domain</code>, representing the post at the current program point, and the inverted <code>PreDomain</code>, representing the inferred pre