Included Books
other
(in-package "ACL2")
include-book
(include-book "arity-plus")
include-book
(include-book "std/testing/assert-equal" :dir :system)
include-book
(include-book "std/testing/must-succeed-star" :dir :system)
other
(must-succeed* (defun f (x y zz aaa b77) (list x y zz aaa b77)) (assert-equal (arity+ 'f (w state)) 5))
other
(assert-equal (arity+ '(lambda (x y) (binary-+ x y)) (w state)) 2)
other
(assert-equal (arity+ '(lambda nil '33) (w state)) 0)