Z3_params typedef

Z3_params = Pointer<_Z3_params>

Implementation

typedef Z3_params = ffi.Pointer<_Z3_params>;