mcrl2_sys::atermpp::ffi

Function get_function_symbol_name

Source
pub unsafe fn get_function_symbol_name<'a>(
    symbol: *const _function_symbol,
) -> &'a str
Expand description

Returns the function symbol name