Major Section: SWITCHES-PARAMETERS-AND-MODES
Example: (add-macro-alias append binary-append)This example associates the function symbol
binary-appendwith the macro name
append. As a result, the name
appendmay 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.