BasicInterface.Timestamp.t</a>
   * <a href="../../PulseTrace/index.html#type-t">Pulselib.PulseBasicInterface.Trace.t</a>
   * <span><a href="../../PulseInvalidation/index.html#type-must_be_valid_reason">Pulselib.PulseBasicInterface.Invalidation.must_be_valid_reason</a> option</span>)</span>
    option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-remove_all_must_not_be_tainted"><a href="#val-remove_all_must_not_be_tainted" class="anchor"></a><code><span><sp