Arity
number of arguments of a function symbol
Examples:
(arity 'IF (w state))
(arity '(LAMBDA (X) (CONS X X)) (w state))
General Form:
(arity fn w)
where fn is a function symbol or a lambda expression and w is an
ACL2 logical world. The result is the number of arguments the function
or lambda expression takes, or nil if the function symbol is not defined
in w.
See
arity+ for a variant of
arity with a stronger
guard.
