</a></span>
     <span class="keyword">and</span> <span><span class="keyword">type</span> <a href="../../PulseBaseMemory/module-type-S/index.html#type-out_of_map_t">out_of_map_t</a> :=
           <a href="#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="../../PulseBaseMemory/module-type-S/index.html#type-t">t</a> = <a href="../.