Z3_fixedpoint_reduce_app_callback_fptr typedef

Z3_fixedpoint_reduce_app_callback_fptr = NativeFunction<Void Function(Pointer<Void>, Z3_func_decl, UnsignedInt, Pointer<Z3_ast>, Pointer<Z3_ast>)>

Implementation

typedef Z3_fixedpoint_reduce_app_callback_fptr = ffi.NativeFunction<
    ffi.Void Function(ffi.Pointer<ffi.Void>, Z3_func_decl, ffi.UnsignedInt,
        ffi.Pointer<Z3_ast>, ffi.Pointer<Z3_ast>)>;