(create-arg-defaults-table transfm-info) → *
Function:
(defun create-arg-defaults-table (transfm-info) (declare (xargs :guard (alistp transfm-info))) (let ((__function__ 'create-arg-defaults-table)) (declare (ignorable __function__)) (if (or (endp transfm-info) (not (alistp (cdar transfm-info)))) nil (cons (cons (caar transfm-info) (extract-default-param-alist (cdar transfm-info))) (create-arg-defaults-table (cdr transfm-info))))))