7 lines
190 B
Plaintext
7 lines
190 B
Plaintext
parameter tez;
|
|
storage (pair (pair nat (pair nat (pair (pair (pair nat tez) nat) nat))) nat);
|
|
return unit;
|
|
code { DUP ; CAR ; SWAP ; CDR ;
|
|
SET_CADDAADR @annot ;
|
|
UNIT ; PAIR };
|