mcrl2_sys::data::ffi

Function is_data_variable

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