ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsdeferred_resndemanglerenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newwith_gc
Last change
on this file since f4e3419d was
f4e3419d,
checked in by Peter A. Buhr <pabuhr@…>, 7 years ago
|
restructure paper documents
|
-
Property mode set to
100644
|
File size:
753 bytes
|
Line | |
---|
1 | #pragma once |
---|
2 | |
---|
3 | forall(otype R, otype S) struct pair { |
---|
4 | R first; |
---|
5 | S second; |
---|
6 | }; |
---|
7 | |
---|
8 | forall(otype R, otype S |
---|
9 | | { int ?==?(R, R); int ?<?(R, R); int ?<?(S, S); }) |
---|
10 | int ?<?(pair(R, S) p, pair(R, S) q); |
---|
11 | |
---|
12 | forall(otype R, otype S |
---|
13 | | { int ?==?(R, R); int ?<?(R, R); int ?<=?(S, S); }) |
---|
14 | int ?<=?(pair(R, S) p, pair(R, S) q); |
---|
15 | |
---|
16 | forall(otype R, otype S | { int ?==?(R, R); int ?==?(S, S); }) |
---|
17 | int ?==?(pair(R, S) p, pair(R, S) q); |
---|
18 | |
---|
19 | forall(otype R, otype S | { int ?!=?(R, R); int ?!=?(S, S); }) |
---|
20 | int ?!=?(pair(R, S) p, pair(R, S) q); |
---|
21 | |
---|
22 | forall(otype R, otype S |
---|
23 | | { int ?==?(R, R); int ?>?(R, R); int ?>?(S, S); }) |
---|
24 | int ?>?(pair(R, S) p, pair(R, S) q); |
---|
25 | |
---|
26 | forall(otype R, otype S |
---|
27 | | { int ?==?(R, R); int ?>?(R, R); int ?>=?(S, S); }) |
---|
28 | int ?>=?(pair(R, S) p, pair(R, S) q); |
---|
Note: See
TracBrowser
for help on using the repository browser.