law_ring_push_len_bounded
ferro_
wave
0.17.1
In ferro_
wave::
formal_
model
ferro_wave
::
formal_model
Function
law_
ring_
push_
len_
bounded
Copy item path
pub fn law_ring_push_len_bounded(len:
u64
, cap:
u64
) ->
bool