(extract-default-param-alist arg-info) → *
Function:
(defun extract-default-param-alist (arg-info) (declare (xargs :guard (alistp arg-info))) (let ((__function__ 'extract-default-param-alist)) (declare (ignorable __function__)) (if (or (endp arg-info) (< (len (car arg-info)) 2)) nil (let ((r (extract-default-param-alist (cdr arg-info))) (param (caar arg-info)) (val (cdar arg-info))) (if (or (null (consp val)) (null (consp (cdr val)))) r (cons (cons param (cadr val)) r))))))