Type Definition z3_sys::Z3_probe

pub type Z3_probe = *mut _Z3_probe;

Function/predicate used to inspect a goal and collect information that may be used to decide which solver and/or preprocessing step will be used.