vstd
In vstd::
bytes
vstd
::
bytes
Function
u32_to_le_bytes
Copy item path
Source
pub
exec
fn u32_to_le_bytes(x:
u32
) ->
s :
Vec
<
u8
>
ⓘ
Expand description
ensures
s@ == spec_u32_to_le_bytes(x),
s@.len() ==
4
,