A keyword table binds the names of keywords (strings) to their
corresponding
(vl-make-keyword-table x) → fast-alist
Function:
(defun vl-make-keyword-table (x) (declare (xargs :guard (string-listp x))) (let ((__function__ 'vl-make-keyword-table)) (declare (ignorable __function__)) (if (consp x) (hons-acons (car x) (intern (cat "VL-KWD-" (str::upcase-string (car x))) "KEYWORD") (vl-make-keyword-table (cdr x))) nil)))