TRANS1

print the one-step macroexpansion of a form
Major Section:  OTHER

Examples:
:trans1 (list a b c)
:trans1 (caddr x)
:trans1 (cond (p q) (r))

This function takes one argument, an alleged 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.