HeadToInvVars" class="anchor"></a><code><span class="keyword">module</span> LoopHeadToInvVars = <a href="../../IR/Procdesc/index.html#module-NodeMap">IR.Procdesc.NodeMap</a></code></dt><dd><p>Map loop head -&gt; invariant vars in loop</p></dd></dl><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><a href="VarsInLoop/index.html#type-t">VarsInLoop.t</a> <a href="../../IR__Procdesc/index.