Cprefix-optionp
Recognizer for cprefix-option structures.
- Signature
(cprefix-optionp x) → *
Definitions and Theorems
Function: cprefix-optionp
(defun cprefix-optionp (x)
(declare (xargs :guard t))
(cond ((not x) (b* nil t))
(t (b* ((fty::val x))
(cprefixp fty::val)))))
