mcrl2_sys::atermpp::ffi

Function protect_function_symbol

Source
pub unsafe fn protect_function_symbol(symbol: *const _function_symbol)
Expand description

Protects the given function symbol by incrementing the reference counter.