word">type</span> <a href="../../PulseBaseMemory/module-type-S/index.html#type-key">key</a> := <a href="#type-t">t</a></span>
     <span class="keyword">and</span> <span><span class="keyword">type</span> <a href="../../PulseBaseMemory/module-type-S/index.html#type-in_map_t">in_map_t</a> :=
           <a href="../../PulseAbstractValue/index.html#type-t">Pulselib.PulseBasicInterface.AbstractValue.t</a>
           * <a href="../../PulseValueHistory/index.html#type-t">Pulselib.PulseBasicInterface.ValueHistory.t