spec_u32_to_le_bytes
vstd
In vstd::
bytes
vstd
::
bytes
Function
spec_
u32_
to_
le_
bytes
Copy item path
Source
pub
closed spec
fn spec_u32_to_le_bytes(x:
u32
) ->
Seq
<
u8
>
Expand description