Recognizer for pass.
(passp x) → fty::yes/no
Function: passp
(defun passp (x) (declare (xargs :guard t)) (eq x :pass))
Theorem: booleanp-of-passp
(defthm booleanp-of-passp (b* ((fty::yes/no (passp x))) (booleanp fty::yes/no)) :rule-classes :rewrite)