mcrl2_sys::atermpp::ffi

Function get_term_argument

Source
pub unsafe fn get_term_argument(
    term: *const _aterm,
    index: usize,
) -> *const _aterm
Expand description

Returns the ith argument of this term.