Z3_fixedpoint_predecessor_eh typedef

Z3_fixedpoint_predecessor_eh = Pointer<NativeFunction<Void Function(Pointer<Void> state)>>

Implementation

typedef Z3_fixedpoint_predecessor_eh = ffi.Pointer<
    ffi.NativeFunction<ffi.Void Function(ffi.Pointer<ffi.Void> state)>>;