SHOW-BODIES.html -- ACL2 Version 6.3

## SHOW-BODIES

show the potential definition bodies

    Major Section:  MISCELLANEOUS

    Examples:
    (show-bodies foo)
    :show-bodies foo

A definition made using `defun` installs a so-called ``body'' of a function symbol, as do certain `:``definition` rules. Such bodies are used in a number of ways, including the application of `:expand` hints; see definition, in particular the discussion of ``body'' there, and see hints for a discussion of the `:expand` hint. Also see set-body for how to change which of the available definitions (among the original definition and appropriate `:``definition` rules) is the one that provides the body. The `show-bodies` command displays the available such bodies in an appropriate format, starting with the one that is currently used as the body.

    General Forms:
    (show-bodies function-symbol)
    :show-bodies function-symbol