Recognizer for atj-maybe-function-type-info structures.
(atj-maybe-function-type-info-p x) → *
Function:
(defun atj-maybe-function-type-info-p (x) (declare (xargs :guard t)) (let ((__function__ 'atj-maybe-function-type-info-p)) (declare (ignorable __function__)) (cond ((not x) (b* nil t)) (t (b* ((fty::val x)) (atj-function-type-info-p fty::val))))))