Z3_stats typedef

Z3_stats = Pointer<_Z3_stats>

Implementation

typedef Z3_stats = ffi.Pointer<_Z3_stats>;