Filtering...

pseudo-lambda-listp-tests

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

Included Books

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