5 lines
80 B
Plaintext
5 lines
80 B
Plaintext
parameter bool;
|
|
storage unit;
|
|
return unit;
|
|
code {CAR; ASSERT; UNIT; UNIT; PAIR}
|