Precondition:</strong></span>
                <div class="itemizedlist"><ul class="itemizedlist" type="circle">
<li class="listitem">
                      The range <code class="computeroutput"><span class="identifier">value_type</span></code>
                      is convertible to the argument type of <code class="computeroutput"><span class="identifier">pred</span></code>.
                    </li>
<li class="listitem">
                      <code class="computeroutput"><span class="identifier">new_valu