		Search-engine friendly clone of the ACL2 documentation.

Lex-keywords

Vl-make-keyword-table

A keyword table binds the names of keywords (strings) to their corresponding :vl-kwd-xxx symbols.

Signature
(vl-make-keyword-table x) → fast-alist
Arguments: x — Guard (string-listp x).

Definitions and Theorems

Function: vl-make-keyword-table

(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)))