"#type-summary">summary</a>
      * <a href="../index.html#type-t">t</a>
      * <a href="../../PulseDecompilerExpr/index.html#type-t">DecompilerExpr.t</a>
      * <span>(<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></span> ]</span>)</span>
    <a href="../../../IStdlib/IStd/index.