Retrieve the untranslated body of a function.
(ibody fn wrld) → body
This is as introduced (hence the i in the name) by the user.
ibody (fn wrld)
(declare (xargs :guard (and (symbolp fn) (plist-worldp wrld))))
(let ((__function__ 'ibody))
(declare (ignorable __function__))
(car (last (get-defun-event fn wrld)))))