Process the inputs and generate the events.
(defobject-process-inputs-and-gen-everything name type init call wrld) → (mv erp event)
Function:
(defun defobject-process-inputs-and-gen-everything (name type init call wrld) (declare (xargs :guard (and (pseudo-event-formp call) (plist-worldp wrld)))) (let ((__function__ 'defobject-process-inputs-and-gen-everything)) (declare (ignorable __function__)) (b* (((reterr) '(_)) ((erp name-string name-ident type exprs redundantp) (defobject-process-inputs name type init call wrld)) ((when redundantp) (retok '(value-triple :redundant))) (event (defobject-gen-everything name name-string name-ident type init exprs call))) (retok event))))