Name of the
(deftreeops-alt-match-pred prefix) → pred
Function:
(defun deftreeops-alt-match-pred (prefix) (declare (xargs :guard (common-lisp::symbolp prefix))) (let ((__function__ 'deftreeops-alt-match-pred)) (declare (ignorable __function__)) (add-suffix-to-fn prefix "-LIST-LIST-ALT-MATCHP")))
Theorem:
(defthm symbolp-of-deftreeops-alt-match-pred (b* ((pred (deftreeops-alt-match-pred prefix))) (common-lisp::symbolp pred)) :rule-classes :rewrite)