n. More importantly, this is the part of a <code>trans_result</code> that some internal translation functions work on when constructing a <code>trans_result</code> before the other components of the translation result are available (such as the return expression). This is made into a separate type to make intermediate computations easier to write and easier to typecheck.</p></dd></dl><dl><dt class="spec type" id="type-trans_result"><a href="#type-trans_result" class="anchor"></a><code><span class="keyword">