Event expansion of parse-files from the inputs.
(parse-files-fn args ctx state) → (mv erp event state)
Function:
(defun parse-files-fn (args ctx state) (declare (xargs :stobjs (state))) (declare (xargs :guard (and (true-listp args) (ctxp ctx)))) (let ((__function__ 'parse-files-fn)) (declare (ignorable __function__)) (b* (((mv erp event) (parse-files-process-inputs-and-gen-defconst args (w state))) ((when erp) (er-soft+ ctx t '(_) "~@0" erp))) (value event))))