e-type-S/index.html">PulseBaseStack.S</a>
  <span class="keyword">with</span> <span><span class="keyword">type</span> <a href="../../../PulseBaseStack/module-type-S/index.html#type-value">value</a> = <a href="../index.html#type-needs_canon">needs_canon</a> * <a href="../../../PulseValueHistory/index.html#type-t">Pulselib.PulseBasicInterface.ValueHistory.t</a></span>
   <span class="keyword">and</span> <span><span class="keyword">type</span> <a href="../../../PulseBaseStack/module-type-S/index.html#type-t">t