5 lines
82 B
Plaintext
5 lines
82 B
Plaintext
parameter (set int);
|
|
storage unit;
|
|
return nat;
|
|
code {CAR; SIZE; UNIT; SWAP; PAIR}
|