 <span><span>(<a href="../PulseTimestamp/index.html#type-t">Pulselib.PulseBasicInterface.Timestamp.t</a>
   * <a href="../PulseTrace/index.html#type-t">Pulselib.PulseBasicInterface.Trace.t</a>)</span>
    option</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-std_vector_reserve"><a href="#val-std_vector_reserve" class="anchor"></a><code><span><span class="keyword">val</span> std_vector_reserve : <span><a href="../PulseAbstractValue/index.html#type-t">Pulselib.