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