mcrl2_sys::atermpp::ffi

Function aterm_mark_address

Source
pub unsafe fn aterm_mark_address(
    term: *const _aterm,
    todo: Pin<&mut term_mark_stack>,
)
Expand description

Marks the aterm to prevent garbage collection.