2017-07-18 17:38:20 +02:00
|
|
|
parameter (list int);
|
2017-07-24 15:06:56 +02:00
|
|
|
storage unit;
|
2017-07-18 17:38:20 +02:00
|
|
|
return (option int);
|
|
|
|
code {CAR; DIP{NONE int};
|
2017-07-24 15:06:56 +02:00
|
|
|
LAMBDA
|
2017-07-18 17:38:20 +02:00
|
|
|
(pair int (option int))
|
|
|
|
(option int)
|
2017-07-24 12:28:41 +02:00
|
|
|
{DUP; DUP; CAR; SWAP; CDR;
|
2017-07-24 15:06:56 +02:00
|
|
|
IF_NONE {DIP{DROP}; SOME} {CMPGT; IF {CDR} {CAR; SOME}}};
|
|
|
|
REDUCE; UNIT; SWAP; PAIR};
|