law_clamp_index_in_range
ferro_
wave
0.17.1
In ferro_
wave::
formal_
model
ferro_wave
::
formal_model
Function
law_
clamp_
index_
in_
range
Copy item path
pub fn law_clamp_index_in_range(i:
u64
, n:
u64
) ->
bool