pub type Z3_solver_callback = NonNull<_Z3_solver_callback>;
Callback object for user-defined solver propagation.
pub struct Z3_solver_callback { /* private fields */ }