|
|
|---|
|
|
|
|---|
Get a value from the keyword-value alist produced by extract-keywords, with default-value support.
Function:
(defun getarg (arg default alist) (declare (xargs :guard (and (eqlablep arg) (alistp alist)))) (b* ((look (assoc arg alist))) (if look (cdr look) default)))