mcrl2_sys::atermpp::ffi

Function register_mark_callback

Source
pub fn register_mark_callback(
    callback_mark: fn(arg0: Pin<&mut term_mark_stack>),
    callback_size: fn() -> usize,
) -> UniquePtr<tls_callback_container> 
Expand description

Register a function to be called during marking of the garbage collection