Included Books
other
(in-package "ACL2")
include-book
(include-book "apply-fn-into-ifs")
include-book
(include-book "std/testing/assert-equal" :dir :system)
other
(assert-equal (apply-fn-into-ifs 'f 'var) '(f var))
other
(assert-equal (apply-fn-into-ifs 'f '':const) '(f ':const))
other
(assert-equal (apply-fn-into-ifs 'f '(g x y)) '(f (g x y)))
other
(assert-equal (apply-fn-into-ifs 'f
'(if a
b
c))
'(if a
(f b)
(f c)))
other
(assert-equal (apply-fn-into-ifs 'f
'(if a
(if b
c
d)
e))
'(if a
(if b
(f c)
(f d))
(f e)))