mcrl2_sys::atermpp::ffi

Function collect_garbage

Source 
pub fn collect_garbage()
Expand description

Trigger garbage collection.