   </li>
<li class="listitem">
          resize
        </li>
<li class="listitem">
          size
        </li>
<li class="listitem">
          splice
        </li>
<li class="listitem">
          value_comp
        </li>
</ul></div>
<p>
      The lazy functions' names are the same as the corresponding member function.
      The difference is that the lazy functions are free functions and therefore
      does not use the member "dot" syntax.
    </p>
<div class="table">
<a name="id855358"></a><p class="tit