mcrl2_sys::atermpp::ffi

Function drop_function_symbol

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

Decreases the reference counter of the function symbol by one.