5 lines
77 B
Plaintext
5 lines
77 B
Plaintext
|
($ a (if true 12 78))
|
||
|
($ b (if false 46 966))
|
||
|
|
||
|
(assert= 12 a)
|
||
|
(assert= 966 b)
|