Z3_probe typedef

Z3_probe = Pointer<_Z3_probe>

Implementation

typedef Z3_probe = ffi.Pointer<_Z3_probe>;