Type Definition z3_sys::Z3_error_handler
[−]
[src]
type Z3_error_handler = Option<unsafe extern "C" fn(c: Z3_context, e: ErrorCode)>;
Z3 custom error handler (See Z3_set_error_handler
).