Z3_fixedpoint typedef

Z3_fixedpoint = Pointer<_Z3_fixedpoint>

Implementation

typedef Z3_fixedpoint = ffi.Pointer<_Z3_fixedpoint>;