pool_resource</span></a><span class="special">(</span><span class="special">)</span><span class="special">;</span>

  <span class="comment">// <a class="link" href="synchronized_pool_resource.html#idp39415344-bb">public member functions</a></span>
  <span class="keyword">void</span> <a class="link" href="synchronized_pool_resource.html#idp39415904-bb"><span class="identifier">release</span></a><span class="special">(</span><span class="special">)</span><span class="special">;</span>
  <a class="link" href="