"../../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>Trim the state down to just the procedure's interface (formals and globals), and simpl