table for storing nodes that correspond to if-instructions. These are used when adding the edges in the contrl flow graph.</p></dd></dl><dl><dt class="spec type" id="type-icfg"><a href="#type-icfg" class="anchor"></a><code><span class="keyword">type</span> icfg</code><code> = </code><code>{</code><table class="record"><tr id="type-icfg.tenv" class="anchored"><td class="def field"><a href="#type-icfg.tenv" class="anchor"></a><code>tenv : <a href="../../IR/Tenv/index.html#type-t">IR.Tenv.t</a>;</code></td></t