Z3_push_eh typedef

Z3_push_eh = NativeFunction<Void Function(Pointer<Void> ctx, Z3_solver_callback cb)>

Implementation

typedef Z3_push_eh = ffi.NativeFunction<
    ffi.Void Function(ffi.Pointer<ffi.Void> ctx, Z3_solver_callback cb)>;