="../../../../IStdlib/PrettyPrintable/module-type-MonoMap/index.html#type-key">key</a> = <a href="../../../../IR/Var/index.html#type-t">IR.Var.t</a></span>
  <span class="keyword">with</span> <span><span class="keyword">type</span> <a href="../../../../IStdlib/PrettyPrintable/module-type-MonoMap/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 cla