mcrl2_sys::data::ffi

Function is_data_function_symbol

Source 
pub unsafe fn is_data_function_symbol(term: *const _aterm) -> bool