oMap">IStdlib.PrettyPrintable.MonoMap</a> <span class="keyword">with</span> <span class="keyword">type</span> <a href="../../IStdlib/PrettyPrintable/module-type-MonoMap/index.html#type-key">key</a> = <a href="../../IR/Var/index.html#type-t">IR.Var.t</a> <span class="keyword">and</span> <span class="keyword">type</span> <a href="../../IStdlib/PrettyPrintable/module-type-MonoMap/index.html#type-value">value</a> = <a href="../PulseAbstractValue/index.html#type-t">PulseBasicInterface.AbstractValue.t</a> * <a hr