mcrl2_sys::atermpp::ffi

Function aterm_pool_capacity

Source
pub fn aterm_pool_capacity() -> usize
Expand description

Returns the capacity of the pool, for terms of all arities so this is slightly misleading.