Recognizer for deftreeops-table-value-option structures.
(deftreeops-table-value-optionp x) → *
Function:
(defun deftreeops-table-value-optionp (x) (declare (xargs :guard t)) (let ((__function__ 'deftreeops-table-value-optionp)) (declare (ignorable __function__)) (cond ((not x) (b* nil t)) (t (b* ((fty::val x)) (deftreeops-table-valuep fty::val))))))