</code> is the same to <code>l.nextObject()</code>.</p></td></tr><tr id="type-t.Top" class="anchored"><td class="def constructor"><a href="#type-t.Top" class="anchor"></a><code>| </code><code><span class="constructor">Top</span></code></td></tr></table></dt><dd><p>Relations between values of logical variables(registers) and program variables</p></dd></dl><div><div class="spec include"><div class="doc"><details open="open"><summary><span class="def"><code><span class="keyword">include</span> <a href="../../A