		Search-engine friendly clone of the ACL2 documentation.

Keyword-list-fix

Signature
(keyword-list-fix x) → *
Arguments: x — Guard (acl2::keyword-listp x).

Definitions and Theorems

Function: keyword-list-fix

(defun keyword-list-fix (x)
  (declare (xargs :guard (acl2::keyword-listp x)))
  (let ((__function__ 'keyword-list-fix))
    (declare (ignorable __function__))
    (mbe :logic (if (acl2::keyword-listp x) x 'nil)
         :exec x)))