((/make-event/make-redundant.lisp::make-redundant-fn (nil nil nil (er-let*) nil nil nil) (((ev-wrld (er-decode-logical-name name (w state) (quote make-redundant-fn) state))) nil (value) nil nil nil nil) (nil nil (access-event-tuple-form) nil nil nil nil) (nil nil (cddar) nil nil nil nil) ((ev-wrld) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)))