Z3_error_handler typedef

Z3_error_handler = NativeFunction<Void Function(Z3_context c, Int32 e)>

Implementation

typedef Z3_error_handler
    = ffi.NativeFunction<ffi.Void Function(Z3_context c, ffi.Int32 e)>;