an> </span><span>{</span></code><table><tr id="type-t.alias_typ" class="anchored"><td class="def record field"><a href="#type-t.alias_typ" class="anchor"></a><code><span>alias_typ : <a href="#type-alias_typ">alias_typ</a>;</span></code></td></tr><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 rec