Filtering...

pseudo-termfn-listp-tests

books/std/system/pseudo-termfn-listp-tests

Included Books

pseudo-termfn-listp assert-bang
other
(in-package "ACL2")
include-book
(include-book "pseudo-termfn-listp")
include-book
(include-book "std/testing/assert-bang" :dir :system)
other
(assert! (pseudo-termfn-listp nil))
other
(assert! (pseudo-termfn-listp (list '(lambda (x) x) 'fn '(lambda (x y z) (+ x x)))))
other
(assert! (pseudo-termfn-listp (list 'a 'b)))
other
(assert! (not (pseudo-termfn-listp (list "abc" '(lambda (x) x)))))
other
(assert! (not (pseudo-termfn-listp (list "abc" 'g))))
other
(assert! (not (pseudo-termfn-listp (list* '(lambda (x) x)
        '(lambda (x y z) (+ x x))
        '(lambda (y) (cons y y))))))