symbol-truelist-alistp-tests

(in-package "ACL2")

(assert! (symbol-truelist-alistp nil))

(assert! (symbol-truelist-alistp '((a) (b 1 2 3) (c z))))

(assert! (not (symbol-truelist-alistp 55)))

(assert! (not (symbol-truelist-alistp '((a . "x") (b 1 2)))))

(assert! (not (symbol-truelist-alistp '((a 1 2) ("b" 10)))))