916
920
typedef allocator_traits<__pointer_allocator> __map_traits;
917
921
typedef typename __map_traits::pointer __map_pointer;
919
930
typedef __split_buffer<pointer, __pointer_allocator> __map;
921
932
typedef __deque_iterator<value_type, pointer, reference, __map_pointer,