6 lines
57 B
Text
6 lines
57 B
Text
|
(define i 24)
|
||
|
|
|
||
|
|
(assert i ===> 42)
|
||
|
|
; or
|
||
|
|
(assert (= i 42))
|