(vl-read-while-ctype-impl echars acc) → (mv * *)
Function:
(defun vl-read-while-ctype-impl (echars acc) (declare (xargs :guard (vl-echarlist-p echars))) (let ((__function__ 'vl-read-while-ctype-impl)) (declare (ignorable __function__)) (cond ((atom echars) (mv acc echars)) ((vl-ctype-p (vl-echar->char (car echars))) (vl-read-while-ctype-impl (cdr echars) (cons (car echars) acc))) (t (mv acc echars)))))