Function z3_sys::Z3_probe_lt

pub unsafe extern "C" fn Z3_probe_lt(
    x: Z3_context, 
    p1: Z3_probe, 
    p2: Z3_probe
) -> Z3_probe

Return a probe that evaluates to “true” when the value returned by p1 is less than the value returned by p2.

NOTE: For probes, “true” is any value different from 0.0.