ADD-MACRO-ALIAS
associate a function name with a macro name
Major Section:  SWITCHES-PARAMETERS-AND-MODES
Example:
(add-macro-alias append binary-append)
This example associates the function symbol binary-append with the
macro name append.  As a result, the name append may be used as a
runic designator (see theories) by the various theory
functions.  See macro-aliases-table for more details.  Also see add-macro-fn
for an extension of this utility that also affects printing.
General Form:
(add-macro-alias macro-name function-name)
This is a convenient way to add an entry to macro-aliases-table.
See macro-aliases-table and also see remove-macro-alias.
 
 