Lift char-sensitive-in-termset-p to lists.
(chars-sensitive-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-sensitive-in-termset-p (x termset) (declare (xargs :guard (and (character-listp x) (nat-setp termset)))) (let ((__function__ 'chars-sensitive-in-termset-p)) (declare (ignorable __function__)) (if (consp x) (and (char-sensitive-in-termset-p (car x) termset) (chars-sensitive-in-termset-p (cdr x) termset)) t)))