"identifier">rhs</span><span class="special">);</span>
</pre>
<p>
          <span class="bold"><strong>Requirements</strong></span>: For all <code class="computeroutput"><span class="identifier">i</span></code>,
          <code class="computeroutput"><span class="number">1</span> <span class="special">&lt;=</span>
          <span class="identifier">i</span> <span class="special">&lt;</span>
          <span class="identifier">N</span></code>, <code class="computeroutput"><a class="link" href="element_access.