ADD-MACRO-ALIAS

associate a function name with a macro name

Major Section: EVENTS

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.

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.