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 tracking return values of the <code>hasNext</code> function. If <code>%r</code> has an alias to <code>HasNext {l}</code>, which means that <code>%r</code> is same to <code>l.hasNext()</code>.</p><span class="comment-delim">*)<