e-t.alias_typ" class="anchor"></a><code>alias_typ : <a href="index.html#type-alias_typ">alias_typ</a>;</code></td></tr><tr id="type-t.i" class="anchored"><td class="def field"><a href="#type-t.i" class="anchor"></a><code>i : <a href="../../IR/IntLit/index.html#type-t">IR.IntLit.t</a>;</code></td></tr><tr id="type-t.java_tmp" class="anchored"><td class="def field"><a href="#type-t.java_tmp" class="anchor"></a><code>java_tmp : <span><a href="../../BO/AbsLoc/Loc/index.html#type-t">BO.AbsLoc.Loc.t</a> option</s