"../index.html">infer</a> &#x00BB; Pulselib__PulseArithmetic</nav><h1>Module <code>Pulselib__PulseArithmetic</code></h1></header><div class="spec module" id="module-AbductiveDomain"><a href="#module-AbductiveDomain" class="anchor"></a><code><span class="keyword">module</span> AbductiveDomain = <a href="../Pulselib/index.html#module-PulseAbductiveDomain">Pulselib.PulseAbductiveDomain</a></code></div><div class="spec module" id="module-AccessResult"><a href="#module-AccessResult" class="anchor"></a><code><spa