Included Books
other
(in-package "ACL2")
include-book
(include-book "apply-unary-to-terms")
include-book
(include-book "std/testing/assert-equal" :dir :system)
other
(assert-equal (apply-unary-to-terms 'f '(x (g y) '2)) '((f x) (f (g y)) (f '2)))
other
(assert-equal (apply-unary-to-terms '(lambda (z) (cons z z))
'(x (g y) '2))
'((cons x x) (cons (g y) (g y)) '(2 . 2)))