rename_function
Renames orig_name to new_name in the global function_table
Description
boolrename_function
stringoriginal_name
stringnew_name
Renames orig_name to new_name in the global function_table. Useful
for temporarily overriding builtin functions.
<function>rename_function</function> example
]]>