an><a href="../PulseInvalidation/index.html#type-must_be_valid_reason">Pulselib.PulseBasicInterface.Invalidation.must_be_valid_reason</a>
                option</span>)</span></span> ]</span>)</span>
    <a href="../../IStdlib/IStd/index.html#type-result">IStdlib.IStd.result</a></span>
    <a href="../PulseSatUnsat/index.html#type-t">Pulselib.PulseBasicInterface.SatUnsat.t</a></span></span></code></div><div class="spec-doc"><p>Check that the new equalities discovered are compatible with the current pre and 