Function z3_sys::Z3_probe_const

pub unsafe extern "C" fn Z3_probe_const(x: Z3_context, val: f64) -> Z3_probe

Return a probe that always evaluates to val.