type</span> trans_result</code><code> = </code><code>{</code><table class="record"><tr id="type-trans_result.control" class="anchored"><td class="def field"><a href="#type-trans_result.control" class="anchor"></a><code>control : <a href="index.html#type-control">control</a>;</code></td></tr><tr id="type-trans_result.return" class="anchored"><td class="def field"><a href="#type-trans_result.return" class="anchor"></a><code>return : <a href="../IR/Exp/index.html#type-t">IR.Exp.t</a> * <a href="../IR/Typ/index