mcrl2_sys::atermpp::ffi

Function aterm_is_int

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

Returns true iff the term is an aterm_int.