5 lines
116 B
Plaintext
5 lines
116 B
Plaintext
parameter (pair int int);
|
|
storage unit;
|
|
return unit;
|
|
code {CAR; DUP; CAR; DIP{CDR}; ASSERT_CMPNEQ; UNIT; DUP; PAIR}
|