 class="anchored"><td class="def field"><a href="#type-trans_state.succ_nodes" class="anchor"></a><code>succ_nodes : <span><a href="../IR/Procdesc/Node/index.html#type-t">IR.Procdesc.Node.t</a> list</span>;</code></td><td class="doc"><p>successor nodes in the cfg</p></td></tr><tr id="type-trans_state.continuation" class="anchored"><td class="def field"><a href="#type-trans_state.continuation" class="anchor"></a><code>continuation : <span><a href="index.html#type-continuation">continuation</a> option</span>;