(to-parstate$ parstate) → *
Function:
(defun to-parstate$ (parstate) (declare (xargs :stobjs (parstate))) (declare (xargs :guard t)) (let ((__function__ 'to-parstate$)) (declare (ignorable __function__)) (make-parstate$ :bytes (parstate->bytes parstate) :position (parstate->position parstate) :chars-read (parstate->chars-read parstate) :chars-unread (parstate->chars-unread parstate) :tokens-read (parstate->tokens-read parstate) :tokens-read-len (parstate->tokens-read-len parstate) :tokens-unread (parstate->tokens-unread parstate) :checkpoints (parstate->checkpoints parstate) :gcc (parstate->gcc parstate) :size (parstate->size parstate))))