(deftrans-defn-label names bodies extra-args extra-args-names) → *
Function:
(defun deftrans-defn-label (names bodies extra-args extra-args-names) (declare (xargs :guard (and (alistp names) (alistp bodies) (true-listp extra-args) (true-listp extra-args-names)))) (let ((__function__ 'deftrans-defn-label)) (declare (ignorable __function__)) (deftrans-defn 'label names bodies '((label labelp)) extra-args (cons 'label-case (cons 'label (cons ':name (cons '(label-fix label) (cons ':const (cons (cons 'label-const (cons (cons (cdr (assoc-eq 'const-expr names)) (cons 'label.unwrap extra-args-names)) 'nil)) '(:default (label-fix label)))))))) '(:returns (new-label labelp) :measure (label-count label)))))