Synopsis

template<class A>
    class vector<bool, A> {
public:
    class reference;
    typedef bool const_reference;
    typedef T0 iterator;
    typedef T1 const_iterator;
    typedef T4 pointer;
    typedef T5 const_pointer;
    void flip();
    static void swap(reference x, reference y);
// rest same as template class vector
    };