Type Alias Z3_model_eh 

pub type Z3_model_eh = Option<unsafe extern "C" fn(ctx: *mut c_void)>;

Callback invoked when an optimization model is found.

Aliased Type

pub enum Z3_model_eh {
    None,
    Some(unsafe extern "C" fn(*mut c_void)),
}

Variants

None

No value.

Some(unsafe extern "C" fn(*mut c_void))

Some value of type T.