named-rewrite
Input Stack:
|
⇨ | Output Stack:
|
Internal operation used by some macros to provide a more user friendly display expression. The expanded version will get used for evaluation, but if a new expression is generated from the parsed expression tree it will use the original version along with the named of the macro.