Make some unary functions no longer invisible
(remove-invisible-fns binary-+ unary-- foo)
(remove-invisible-fns + unary-- foo)
The setting above has makes unary functions unary-- and foo no
longer ``invisible'' for the purposes of applying permutative :rewrite rules to binary-+ trees.
(remove-invisible-fns top-fn unary-fn1 ... unary-fnk)
where top-fn is a function symbol and the unary-fni are unary
function symbols, or more generally, these are all macro aliases for such
function symbols (see macro-aliases-table).
See add-invisible-fns and also see invisible-fns-table and