Function z3_sys::Z3_get_estimated_alloc_size

pub unsafe extern "C" fn Z3_get_estimated_alloc_size() -> u64

Return the estimated allocated memory in bytes.