of
         <a href="#type-t">t</a>
         * <a href="../PulseAbstractValue/index.html#type-t">PulseBasicInterface.AbstractValue.t</a>
         * <span>(<a href="../PulseTrace/index.html#type-t">PulseBasicInterface.Trace.t</a>
            * <span><a href="../PulseInvalidation/index.html#type-must_be_valid_reason">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>
   