Type Alias Z3_solver_callback 

pub type Z3_solver_callback = NonNull<_Z3_solver_callback>;

Callback object for user-defined solver propagation.

Aliased Type

pub struct Z3_solver_callback { /* private fields */ }