Function z3_sys::Z3_probe_apply

pub unsafe extern "C" fn Z3_probe_apply(
    c: Z3_context,
    p: Z3_probe,
    g: Z3_goal
) -> f64

Execute the probe over the goal. The probe always produce a double value. “Boolean” probes return 0.0 for false, and a value different from 0.0 for true.