#include "cfa-pair.h"
#include "fstream"

forall(otype R, otype S
	| { int ?==?(R, R); int ?<?(R, R); int ?<?(S, S); })
int ?<?(pair(R, S) p, pair(R, S) q) {
	return p.first < q.first || ( p.first == q.first && p.second < q.second );
}

forall(otype R, otype S
	| { int ?==?(R, R); int ?<?(R, R); int ?<=?(S, S); })
int ?<=?(pair(R, S) p, pair(R, S) q) {
	return p.first < q.first || ( p.first == q.first && p.second <= q.second );
}

forall(otype R, otype S | { int ?==?(R, R); int ?==?(S, S); })
int ?==?(pair(R, S) p, pair(R, S) q) {
	return p.first == q.first && p.second == q.second;
}

forall(otype R, otype S | { int ?!=?(R, R); int ?!=?(S, S); })
int ?!=?(pair(R, S) p, pair(R, S) q) {
	return p.first != q.first || p.second != q.second;
}

forall(otype R, otype S
	| { int ?==?(R, R); int ?>?(R, R); int ?>?(S, S); })
int ?>?(pair(R, S) p, pair(R, S) q) {
	return p.first > q.first || ( p.first == q.first && p.second > q.second );
}

forall(otype R, otype S
	| { int ?==?(R, R); int ?>?(R, R); int ?>=?(S, S); })
int ?>=?(pair(R, S) p, pair(R, S) q) {
	return p.first > q.first || ( p.first == q.first && p.second >= q.second );
}

// forall(otype R, otype S)
// forall(dtype ostype | ostream( ostype ) | { ostype & ?|?( ostype &, R ); ostype & ?|?( ostype &, S );  })
// ostype & ?|?( ostype & os, pair(R, S) p ) {
// 	return os | '[' | p.first | ',' | p.second | ']';
// } // ?|?