Lift char-insensitive-in-termset-p to lists.
(chars-insensitive-in-termset-p x termset) → std::bool
This is an ordinary std::deflist. It is
"loose" in that it does not care whether
Function:
(defun chars-insensitive-in-termset-p (x termset) (declare (xargs :guard (and (character-listp x) (nat-setp termset)))) (let ((__function__ 'chars-insensitive-in-termset-p)) (declare (ignorable __function__)) (if (consp x) (and (char-insensitive-in-termset-p (car x) termset) (chars-insensitive-in-termset-p (cdr x) termset)) t)))