mcrl2_sys::atermpp::ffi

Function get_function_symbol_arity

Source 
pub unsafe fn get_function_symbol_arity(
    symbol: *const _function_symbol,
) -> usize
Expand description

Returns the function symbol name