ligo/test/contracts/set_caddaadr.tz

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 };
Michelson: improvements to bash test procedures 2017-09-15 15:40:50 +04:00			`parameter tez;`
Michelson: add tests and doc for SET_CADDAADR and MAP_CADDAADR 2017-09-18 18:18:40 +04:00			`storage (pair (pair nat (pair nat (pair (pair (pair nat tez) nat) nat))) nat);`
Michelson: improvements to bash test procedures 2017-09-15 15:40:50 +04:00			`return unit;`
			`code { DUP ; CAR ; SWAP ; CDR ;`
Michelson macros: annotations permitted and better error handling 2017-12-01 20:00:32 +04:00			`SET_CADDAADR @annot ;`
Michelson: improvements to bash test procedures 2017-09-15 15:40:50 +04:00			`UNIT ; PAIR };`