Recognize true lists of nonempty strings.
(nonempty-string-listp x) → std::bool
This is an ordinary std::deflist. It is
"strict" in that it requires
Function:
(defun nonempty-string-listp (x) (declare (xargs :guard t)) (let ((__function__ 'nonempty-string-listp)) (declare (ignorable __function__)) (if (consp x) (and (nonempty-stringp (car x)) (nonempty-string-listp (cdr x))) (null x))))