Deftrans-defn-const
- Signature
(deftrans-defn-const names bodies extra-args) → *
- Arguments
- names — Guard (alistp names).
- bodies — Guard (alistp bodies).
- extra-args — Guard (true-listp extra-args).
Definitions and Theorems
Function: deftrans-defn-const
(defun deftrans-defn-const (names bodies extra-args)
(declare (xargs :guard (and (alistp names)
(alistp bodies)
(true-listp extra-args))))
(let ((__function__ 'deftrans-defn-const))
(declare (ignorable __function__))
(deftrans-defn 'const
names bodies '((const constp))
extra-args '(const-fix const)
'(:returns (new-const constp)))))
