Z3_optimize typedef

Z3_optimize = Pointer<_Z3_optimize>

Implementation

typedef Z3_optimize = ffi.Pointer<_Z3_optimize>;