Type Alias Z3_eq_eh 

pub type Z3_eq_eh = Option<unsafe extern "C" fn(ctx: *mut c_void, cb: Z3_solver_callback, s: Z3_ast, t: Z3_ast)>;

Callback invoked when two terms are equated during solver propagation.

Aliased Type

pub enum Z3_eq_eh {
    None,
    Some(unsafe extern "C" fn(*mut c_void, NonNull<_Z3_solver_callback>, NonNull<_Z3_ast>, NonNull<_Z3_ast>)),
}

Variants

None

No value.

Some(unsafe extern "C" fn(*mut c_void, NonNull<_Z3_solver_callback>, NonNull<_Z3_ast>, NonNull<_Z3_ast>))

Some value of type T.