Major Section: MISCELLANEOUS
Examples: (show-bodies foo) :show-bodies fooA definition 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