replaced<span class="special">,</span> <span class="identifier">node_ptr</span> header<span class="special">,</span> 
                         <span class="identifier">node_ptr</span> new_node<span class="special">)</span><span class="special">;</span></pre>
<p><span class="bold"><strong>Requires</strong></span>: node_to_be_replaced must be inserted in a tree with header "header" and new_node must not be inserted in a tree.</p>
<p><span class="bold"><strong>Effects</strong></span>: Replaces node_to_be_repla