">of</span> <span class="keyword">sig</span> ... <span class="keyword">end</span></code></div><dl><dt class="spec module" id="module-LoopHeadToLoopNodes"><a href="#module-LoopHeadToLoopNodes" class="anchor"></a><code><span class="keyword">module</span> LoopHeadToLoopNodes = <a href="../../IR/Procdesc/index.html#module-NodeMap">IR.Procdesc.NodeMap</a></code></dt><dd><p>Map loop header node -&gt; all nodes in the loop</p></dd></dl><dl><dt class="spec module" id="module-LoopHeadToInvVars"><a href="#module-Loop