Function z3_sys::Z3_stats_is_double
source · pub unsafe extern "C" fn Z3_stats_is_double(
c: Z3_context,
s: Z3_stats,
idx: c_uint
) -> Z3_bool
pub unsafe extern "C" fn Z3_stats_is_double(
c: Z3_context,
s: Z3_stats,
idx: c_uint
) -> Z3_bool