Z3_fresh_eh typedef

Z3_fresh_eh = NativeFunction<Pointer<Void> Function(Pointer<Void> ctx, Z3_context new_context)>

Implementation

typedef Z3_fresh_eh = ffi.NativeFunction<
    ffi.Pointer<ffi.Void> Function(
        ffi.Pointer<ffi.Void> ctx, Z3_context new_context)>;