Type Definition z3_sys::Z3_error_handler

type Z3_error_handler = Option<unsafe extern "C" fn(c: Z3_context, e: ErrorCode)>;

Z3 custom error handler (See Z3_set_error_handler).