		Search-engine friendly clone of the ACL2 documentation.

Std/system/function-queries

Ibody

Retrieve the untranslated body of a function.

Signature
(ibody fn wrld) → body
Arguments: fn — Guard (symbolp fn).; wrld — Guard (plist-worldp wrld).
Returns: body — An untranslated term.

This is as introduced (hence the i in the name) by the user.

Definitions and Theorems

Function: ibody

(defun 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)))))