Basic constructor macro for regex-reverse-pref structures.
(make-regex-reverse-pref [:pat <pat>])
This is the usual way to construct regex-reverse-pref structures. It simply conses together a structure with the specified fields.
This macro generates a new regex-reverse-pref structure from scratch. See also change-regex-reverse-pref, which can "change" an existing structure, instead.
This is an ordinary
Macro:
(defmacro make-regex-reverse-pref (&rest args) (std::make-aggregate 'regex-reverse-pref args '((:pat)) 'make-regex-reverse-pref nil))
Function:
(defun regex-reverse-pref (pat) (declare (xargs :guard (regex-p pat))) (declare (xargs :guard t)) (let ((__function__ 'regex-reverse-pref)) (declare (ignorable __function__)) (b* ((pat (mbe :logic (regex-fix pat) :exec pat))) (cons :reverse-pref (list pat)))))