		Search-engine friendly clone of the ACL2 documentation.

Identifiers

No-identifier-ignore-p

Check if a list of Java Unicode characters does not include any character that is ignorable in identifiers.

Signature
(no-identifier-ignore-p x) → std::bool

This may be useful, for example, to check that an identifier has no ignorable characters, i.e. that it is in some sense ``canonical''.

Definitions and Theorems

Function: no-identifier-ignore-p

(defun no-identifier-ignore-p (x)
  (declare (xargs :guard (unicode-listp x)))
  (let ((__function__ 'no-identifier-ignore-p))
    (declare (ignorable __function__))
    (if (consp x)
        (and (not (identifier-ignore-p (car x)))
             (no-identifier-ignore-p (cdr x)))
      t)))

Subtopics

No-identifier-ignore-p-basics: Basic theorems about no-identifier-ignore-p, generated by std::deflist.