Z3_decide_eh typedef

Z3_decide_eh = NativeFunction<Void Function(Pointer<Void> ctx, Z3_solver_callback cb, Z3_ast t, UnsignedInt idx, Bool phase)>

Implementation

typedef Z3_decide_eh = ffi.NativeFunction<
    ffi.Void Function(ffi.Pointer<ffi.Void> ctx, Z3_solver_callback cb,
        Z3_ast t, ffi.UnsignedInt idx, ffi.Bool phase)>;