x.html">Up</a> â€“ <a href="../../index.html">infer</a> &#x00BB; <a href="../index.html">Pulselib</a> &#x00BB; PulseAbductiveDomain</nav><header class="odoc-preamble"><h1>Module <code><span>Pulselib.PulseAbductiveDomain</span></code></h1></header><nav class="odoc-toc"><ul><li><a href="#abductive,-value-normalizing-layer-on-top-of-basedomain">Abductive, value-normalizing layer on top of <code>BaseDomain</code></a></li></ul></nav><div class="odoc-content"><div class="odoc-spec"><div class="spec module an