mcrl2_sys::atermpp::ffi

Function get_aterm_function_symbol

Source 
pub unsafe fn get_aterm_function_symbol(
    term: *const _aterm,
) -> *const _function_symbol
Expand description

Returns the function symbol of an aterm.