pub type Z3_stats = NonNull<_Z3_stats>;
Statistical data for a solver.
pub struct Z3_stats { /* private fields */ }