Included Books
other
(in-package "ACL2")
include-book
(include-book "remove-unused-vars")
include-book
(include-book "std/testing/assert-equal" :dir :system)
other
(assert-equal (remove-unused-vars 'var) 'var)
other
(assert-equal (remove-unused-vars ''3/4) ''3/4)
other
(assert-equal (remove-unused-vars '(f x y)) '(f x y))
other
(assert-equal (remove-unused-vars '((lambda (x) x) y)) '((lambda (x) x) y))
other
(assert-equal (remove-unused-vars '((lambda (x y) (cons x x)) (1st a b) (2nd c d))) '((lambda (x) (cons x x)) (1st a b)))
other
(assert-equal (remove-unused-vars '((lambda (x y z) (f)) '1 '2 '3)) '(f))
other
(assert-equal (remove-unused-vars '(f x ((lambda (y z) z) '1 '2))) '(f x ((lambda (z) z) '2)))