Type Alias Z3_error_handler 

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

Z3 custom error handler (See Z3_set_error_handler).

Aliased Type

pub enum Z3_error_handler {
    None,
    Some(unsafe extern "C" fn(*mut _Z3_context, ErrorCode)),
}

Variants

None

No value.

Some(unsafe extern "C" fn(*mut _Z3_context, ErrorCode))

Some value of type T.