Z3_simplifier typedef

Z3_simplifier = Pointer<_Z3_simplifier>

Implementation

typedef Z3_simplifier = ffi.Pointer<_Z3_simplifier>;