pub broadcast proof fn axiom_i128_obeys_range_step_spec()Expand description
ensures
#[trigger] obeys_range_step_spec::<i128>(),pub broadcast proof fn axiom_i128_obeys_range_step_spec()#[trigger] obeys_range_step_spec::<i128>(),