#ifndef PRINTVECTOR_H
#define PRINTVECTOR_H

#include <set>
using namespace std;

#include <print.h>

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


#endif