Filtering...

symbol-pseudoterm-alistp-tests

books/std/typed-alists/symbol-pseudoterm-alistp-tests

Included Books

symbol-pseudoterm-alistp assert-bang
other
(in-package "ACL2")
include-book
(include-book "symbol-pseudoterm-alistp")
include-book
(include-book "std/testing/assert-bang" :dir :system)
other
(assert! (symbol-pseudoterm-alistp nil))
other
(assert! (symbol-pseudoterm-alistp '((var . x) (qconst quote 3/4)
      (fnapp f a b)
      (lamapp (lambda (x y) (cons x y)) a b))))
other
(assert! (not (symbol-pseudoterm-alistp "abc")))
other
(assert! (not (symbol-pseudoterm-alistp '(x y z))))
other
(assert! (not (symbol-pseudoterm-alistp '((f a) '3/4))))
other
(assert! (not (symbol-pseudoterm-alistp '((x) (y quote 1 2)))))
other
(assert! (not (symbol-pseudoterm-alistp '((x) (y (lambda (x) x) '1 '2)))))