mcrl2_sys::atermpp::ffi

Function print_metrics

Source 
pub fn print_metrics()
Expand description

Prints various metrics that are being tracked for terms.