pub unsafe extern "C" fn Z3_probe_const(
x: Z3_context,
val: f64,
) -> Z3_probeExpand description
Return a probe that always evaluates to val.
pub unsafe extern "C" fn Z3_probe_const(
x: Z3_context,
val: f64,
) -> Z3_probeReturn a probe that always evaluates to val.