Recognizer for tyspecseq-option structures.
(tyspecseq-optionp x) → *
Function: tyspecseq-optionp
(defun tyspecseq-optionp (x) (declare (xargs :guard t)) (cond ((not x) (b* nil t)) (t (b* ((fty::val x)) (tyspecseqp fty::val)))))
