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