an class="keyword">end</span></code></div><div class="spec module" id="module-InvariantMap"><a href="#module-InvariantMap" class="anchor"></a><code><span class="keyword">module</span> InvariantMap = <a href="TransferFunctions/CFG/Node/index.html#module-IdMap">TransferFunctions.CFG.Node.IdMap</a></code></div><dl><dt class="spec type" id="type-invariant_map"><a href="#type-invariant_map" class="anchor"></a><code><span class="keyword">type</span> invariant_map</code><code> = <span><span><a href="TransferFuncti