Get function name from fun
namespace HH; function fun_get_function( mixed $fun, ): string;
mixed $fun
function