Matchmode-p
Recognizer for matchmode structures.
- Signature
(matchmode-p x) → *
Definitions and Theorems
Function: matchmode-p
(defun matchmode-p (x)
(declare (xargs :guard t))
(let ((__function__ 'matchmode-p))
(declare (ignorable __function__))
(and (b* ((case-insens x))
(booleanp case-insens)))))
