(</span><span class="identifier">h</span><span class="special">)+</span><span class="number">1</span><span class="special">)</span>
        <span class="special">]</span></code>, which is always in range.
      </p>
<p>
        Given an abstract value <code class="computeroutput"><span class="identifier">V</span></code>
        represented in the type <code class="computeroutput"><span class="identifier">T</span></code>
        as <code class="computeroutput"><span class="identifier">v</span></code>, the <s