n class="keyword">module</span> AccessResult = <a href="../Pulselib/index.html#module-PulseAccessResult">Pulselib.PulseAccessResult</a></code></div><aside><p>Wrapper around <code>PathCondition</code> that operates on <a href="../Pulselib/PulseAbductiveDomain/index.html#type-t"><code>AbductiveDomain.t</code></a>.</p></aside><dl><dt class="spec value" id="val-and_nonnegative"><a href="#val-and_nonnegative" class="anchor"></a><code><span class="keyword">val</span> and_nonnegative : <a href="../Pulselib/PulseAb