Function z3_sys::Z3_probe_const
[−]
[src]
pub unsafe extern "C" fn Z3_probe_const(x: Z3_context, val: f64) -> Z3_probe
Return a probe that always evaluates to val.