Included Books
other
(in-package "ACL2")
include-book
(include-book "cons-pos-alistp")
include-book
(include-book "std/testing/assert-bang" :dir :system)
other
(assert! (cons-pos-alistp nil))
other
(assert! (cons-pos-alistp '(((a . 2) . 4))))
other
(assert! (cons-pos-alistp '((("str" . #\c) . 88) ((:kwd 1 2 3) . 1))))