Check if a list of Java Unicode characters does not include any character that is ignorable in identifiers.
(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''.
Function:
(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)))