Type Alias Z3_stats 

pub type Z3_stats = NonNull<_Z3_stats>;

Statistical data for a solver.

Aliased Type

pub struct Z3_stats { /* private fields */ }