mcrl2_sys::atermpp::ffi

Function aterm_is_list

Source 
pub unsafe fn aterm_is_list(term: *const _aterm) -> bool
Expand description

Returns true iff the term is an aterm_list.