Z3_app typedef

Z3_app = Pointer<_Z3_app>

Implementation

typedef Z3_app = ffi.Pointer<_Z3_app>;