Z3_model typedef

Z3_model = Pointer<_Z3_model>

Implementation

typedef Z3_model = ffi.Pointer<_Z3_model>;