Function z3_sys::Z3_probe_const
source · pub unsafe extern "C" fn Z3_probe_const(
x: Z3_context,
val: f64
) -> Z3_probe
Expand description
Return a probe that always evaluates to val.
pub unsafe extern "C" fn Z3_probe_const(
x: Z3_context,
val: f64
) -> Z3_probe
Return a probe that always evaluates to val.