Declared in <bslma_bslallocator.h>
<bslma_bslallocator.h>
template<class ELEMENT_TYPE> static void destroy( allocator_type& m, ELEMENT_TYPE* p);