Major Section: ACL2-BUILT-INS
(Booleanp x) is
nil, and is
See generalized-booleans for a discussion of a potential soundness problem for ACL2 related to the question: Which Common Lisp functions are known to return Boolean values?
To see the ACL2 definition of this function, see pf.