Type Definition z3_sys::Z3_error_handler

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

Z3 custom error handler (See Z3_set_error_handler).