This header is part of the Input/Output library.
Defined in header
void push( const T& value );
template <class Rep1, class Period1, class Rep2, class Period2>
void resize( size_type count ); (1)
Page 94 of 100