#ifndef PRINTVECTOR_H
#define PRINTVECTOR_H

#include <vector>
using namespace std;

#include <print.h>

template< typename T >
ostream& operator << (ostream& os, vector<T> const & x)
  { return os << print(x); }


#endif