mcrl2_sys::atermpp::ffi

Function aterm_address

Source
pub unsafe fn aterm_address(term: &aterm) -> *const _aterm
Expand description

Returns the pointer underlying the given term.