(deftrans-defn-alignspec names bodies extra-args extra-args-names) → *
Function:
(defun deftrans-defn-alignspec (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-alignspec)) (declare (ignorable __function__)) (deftrans-defn 'alignspec names bodies '((alignspec alignspecp)) extra-args (cons 'alignspec-case (cons 'alignspec (cons ':alignas-type (cons (cons 'alignspec-alignas-type (cons (cons (cdr (assoc-eq 'tyname names)) (cons 'alignspec.type extra-args-names)) 'nil)) (cons ':alignas-expr (cons (cons 'alignspec-alignas-expr (cons (cons (cdr (assoc-eq 'const-expr names)) (cons 'alignspec.arg extra-args-names)) 'nil)) '(:alignas-ambig (prog2$ (raise "Misusage error: ~x0." (alignspec-fix alignspec)) (alignspec-fix alignspec))))))))) '(:returns (new-alignspec alignspecp) :measure (alignspec-count alignspec)))))