mcrl2_sys::atermpp::ffi

Function aterm_pool_size

Source 
pub fn aterm_pool_size() -> usize
Expand description

Returns the number of terms in the pool.