Type Alias Z3_simplifier 

pub type Z3_simplifier = NonNull<_Z3_simplifier>;

Simplifier object.

Aliased Type

pub struct Z3_simplifier { /* private fields */ }