mcrl2_sys::atermpp::ffi

Function aterm_is_empty_list

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

Returns true iff the term is the empty aterm_list.