☰
vstd
In vstd::bytes
?
Function
vstd
::
bytes
::
u64_to_le_bytes
source
·
[
−
]
pub
exec
fn u64_to_le_bytes(x:
u64
) ->
Vec
<
u8
>
Expand description
ensures
s@ == spec_u64_to_le_bytes(x),
s@.len() ==
8
,