ed_pool_resource.html" title="Class synchronized_pool_resource">synchronized_pool_resource</a> <span class="special">&amp;</span><span class="special">)</span> <span class="special">=</span> <span class="keyword">delete</span><span class="special">;</span>
  <a class="link" href="synchronized_pool_resource.html" title="Class synchronized_pool_resource">synchronized_pool_resource</a> 
  <a class="link" href="synchronized_pool_resource.html#idp39465824-bb"><span class="keyword">operator</span><span class="spe