Untranslated body of a function introduced via defchoose.
(defchoose-untrans-body fn wrld) → *
The untranslated body, as supplied by the user,
is the fifth element of the defchoose event.
(defun defchoose-untrans-body (fn wrld)
(declare (xargs :guard (and (plist-worldp wrld)
(defchoose-namep fn wrld))))
(let ((__function__ 'defchoose-untrans-body))
(declare (ignorable __function__))
(fifth (get-event fn wrld))))