Deftrans-defn-ident
- Signature
(deftrans-defn-ident 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-ident
(defun deftrans-defn-ident (names bodies extra-args)
(declare (xargs :guard (and (alistp names)
(alistp bodies)
(true-listp extra-args))))
(let ((__function__ 'deftrans-defn-ident))
(declare (ignorable __function__))
(deftrans-defn 'ident
names bodies '((ident identp))
extra-args '(ident-fix ident)
'(:returns (new-ident identp)))))
