(vl-ps->chars) returns what was printed as a character list in
the proper, non-reversed, printed order.
(vl-ps->chars &key (ps 'ps)) → chars
- chars — Type (character-listp chars).
This is expensive. It necessarily involves creating n conses,
where n is the number of characters printed. If you really want a string,
vl-ps->string will be faster.
Definitions and Theorems
(defun vl-ps->chars-fn (ps)
(declare (xargs :stobjs (ps)))
(declare (xargs :guard t))
(let ((__function__ 'vl-ps->chars))
(declare (ignorable __function__))
(b* ((chars (vl-ps->chars-fn ps)))
- Convert a printed list (in reverse order) into characters (in proper