mcrl2_sys::atermpp::ffi

Function create_function_symbol

Source
pub fn create_function_symbol(
    name: String,
    arity: usize,
) -> *const _function_symbol
Expand description

Creates a function symbol with the given name and arity, increases the reference counter by one.