Process the inputs and generate the constant event.
(print-and-write-files-process-inputs-and-gen-files args state) → (mv erp state)
Function:
(defun print-and-write-files-process-inputs-and-gen-files (args state) (declare (xargs :stobjs (state))) (declare (xargs :guard (true-listp args))) (let ((__function__ 'print-and-write-files-process-inputs-and-gen-files)) (declare (ignorable __function__)) (b* (((reterr) state) ((erp fileset) (print-and-write-files-process-inputs args (w state))) ((erp state) (print-and-write-files-gen-files fileset state))) (retok state))))