Print the one-step macroexpansion of a form
See term for background on translated and untranslated terms, including some discussion of macros.
This utility takes one argument, an alleged untranslated term, and expands the top-level macro in it for one step only. Either an error is caused, which happens when the form is not a call of a macro, or the result is printed. Also see trans, which translates the given form completely.
On very rare occasions, complete translation is not quite the same as
translating the output of