ord 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></td><td class="def-doc"><span class="comment-delim">(*</span><p>This is for pruning vector's length. When there is a function call, <code>%r=x.size()</code>, the alias target for <code>%r</code> becomes <code>AliasTarget.size {l=x.elements}</code>. The <code>java_tmp</code> field is an add