Returns the name of the currently executing function
String_Type _function_name ()
This function returns the name of the currently executing function. If called from top-level, it returns the empty string.
![[CIAO Logo]](../imgs/ciao_logo_navbar.gif){kind=logo}