// In header: <boost/pool/pool_alloc.hpp>



// Nested class rebind allows for transformation from pool_allocator<T> to
// pool_allocator<U>.
template<typename U> 
struct rebind {
  // types
  typedef pool_allocator< U, UserAllocator, Mutex, NextSize, MaxSize > other;
};