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