| [604e76d] | 1 | #pragma once
|
|---|
| 2 |
|
|---|
| [c9b3a41] | 3 | #include "iostream"
|
|---|
| 4 |
|
|---|
| [604e76d] | 5 | forall(otype R, otype S) struct pair {
|
|---|
| 6 | R first;
|
|---|
| 7 | S second;
|
|---|
| 8 | };
|
|---|
| 9 |
|
|---|
| 10 | forall(otype R, otype S
|
|---|
| 11 | | { int ?==?(R, R); int ?<?(R, R); int ?<?(S, S); })
|
|---|
| 12 | int ?<?(pair(R, S) p, pair(R, S) q);
|
|---|
| 13 |
|
|---|
| 14 | forall(otype R, otype S
|
|---|
| 15 | | { int ?==?(R, R); int ?<?(R, R); int ?<=?(S, S); })
|
|---|
| 16 | int ?<=?(pair(R, S) p, pair(R, S) q);
|
|---|
| 17 |
|
|---|
| 18 | forall(otype R, otype S | { int ?==?(R, R); int ?==?(S, S); })
|
|---|
| 19 | int ?==?(pair(R, S) p, pair(R, S) q);
|
|---|
| 20 |
|
|---|
| 21 | forall(otype R, otype S | { int ?!=?(R, R); int ?!=?(S, S); })
|
|---|
| 22 | int ?!=?(pair(R, S) p, pair(R, S) q);
|
|---|
| 23 |
|
|---|
| 24 | forall(otype R, otype S
|
|---|
| 25 | | { int ?==?(R, R); int ?>?(R, R); int ?>?(S, S); })
|
|---|
| 26 | int ?>?(pair(R, S) p, pair(R, S) q);
|
|---|
| 27 |
|
|---|
| 28 | forall(otype R, otype S
|
|---|
| 29 | | { int ?==?(R, R); int ?>?(R, R); int ?>=?(S, S); })
|
|---|
| 30 | int ?>=?(pair(R, S) p, pair(R, S) q);
|
|---|
| [c9b3a41] | 31 |
|
|---|
| [79d4186] | 32 | // forall(otype R, otype S)
|
|---|
| 33 | // forall(dtype ostype | ostream( ostype ) | { ostype & ?|?( ostype &, R ); ostype & ?|?( ostype &, S ); })
|
|---|
| 34 | // ostype & ?|?( ostype & os, pair(R, S) );
|
|---|
