<a href="#val-instruction" class="anchor"></a><code><span class="keyword">val</span> instruction : <a href="../JContext/index.html#type-t">JContext.t</a> <span>&#45;&gt;</span> int <span>&#45;&gt;</span> Sawja_pack.JBir.instr <span>&#45;&gt;</span> <a href="index.html#type-translation">translation</a></code></dt><dd><p>translates an instruction into a statement node or prune nodes in the cfg</p></dd></dl><dl><dt class="spec exception" id="exception-Frontend_error"><a href="#exception-Frontend_error" class="