vstd
In vstd::
bytes
vstd
::
bytes
Function
spec_u128_from_le_bytes
Copy item path
Source
pub
closed spec
fn spec_u128_from_le_bytes(s:
Seq
<
u8
>) ->
u128
Expand description
recommends
s.len() ==
16
,