Recognizer for var/const-dinfo-option structures.
(var/const-dinfo-optionp x) → *
Function:
(defun var/const-dinfo-optionp (x) (declare (xargs :guard t)) (let ((__function__ 'var/const-dinfo-optionp)) (declare (ignorable __function__)) (cond ((not x) (b* nil t)) (t (b* ((fty::val x)) (var/const-dinfop fty::val))))))