Z3_solver_callback typedef

Z3_solver_callback = Pointer<_Z3_solver_callback>

Implementation

typedef Z3_solver_callback = ffi.Pointer<_Z3_solver_callback>;