pub type Z3_simplifier = NonNull<_Z3_simplifier>;
Simplifier object.
pub struct Z3_simplifier { /* private fields */ }