an>{</span></code><table><tr id="type-t.i" class="anchored"><td class="def record field"><a href="#type-t.i" class="anchor"></a><code><span>i : <a href="../../../IR/IntLit/index.html#type-t">IR.IntLit.t</a>;</span></code></td></tr><tr id="type-t.java_tmp" class="anchored"><td class="def record field"><a href="#type-t.java_tmp" class="anchor"></a><code><span>java_tmp : <span><a href="../../AbsLoc/Loc/index.html#type-t">AbsLoc.Loc.t</a> option</span>;</span></code></td></tr></table><code><span>}</span></code>