(stv2c-tailchars-p x) recognizes lists where every element satisfies stv2c-tailchar-p.
(stv2c-tailchars-p x) → std::bool
This is an ordinary std::deflist. It is
"loose" in that it does not care whether
Function:
(defun stv2c-tailchars-p (x) (declare (xargs :guard (character-listp x))) (let ((__function__ 'stv2c-tailchars-p)) (declare (ignorable __function__)) (if (consp x) (and (stv2c-tailchar-p (car x)) (stv2c-tailchars-p (cdr x))) t)))