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