 href="#type-control.leaf_nodes" class="anchor"></a><code>leaf_nodes : <span><a href="../IR/Procdesc/Node/index.html#type-t">IR.Procdesc.Node.t</a> list</span>;</code></td><td class="doc"><p>Bottom cfg nodes (leaf) created by the translate</p></td></tr><tr id="type-control.instrs" class="anchored"><td class="def field"><a href="#type-control.instrs" class="anchor"></a><code>instrs : <span><a href="../IR/Sil/index.html#type-instr">IR.Sil.instr</a> list</span>;</code></td><td class="doc"><p>list of SIL instru