Z3_constructor typedef

Z3_constructor = Pointer<_Z3_constructor>

Implementation

typedef Z3_constructor = ffi.Pointer<_Z3_constructor>;