"></a><code><span class="keyword">type</span> control</code><code> = </code><code>{</code><table class="record"><tr id="type-control.root_nodes" class="anchored"><td class="def field"><a href="#type-control.root_nodes" class="anchor"></a><code>root_nodes : <span><a href="../IR/Procdesc/Node/index.html#type-t">IR.Procdesc.Node.t</a> list</span>;</code></td><td class="doc"><p>Top cfg nodes (root) created by the translation</p></td></tr><tr id="type-control.leaf_nodes" class="anchored"><td class="def field"><a