(stv2c-tailchar-p x) → *
Function:
(defun stv2c-tailchar-p (x) (declare (xargs :guard (characterp x))) (let ((__function__ 'stv2c-tailchar-p)) (declare (ignorable __function__)) (or (str::dec-digit-char-p x) (str::down-alpha-p x) (str::up-alpha-p x) (eql x #\_))))