Skip to main content

u32_to_le_bytes

Function u32_to_le_bytes 

Source
pub exec fn u32_to_le_bytes(value: u32) -> bytes : [u8; 4]
Expand description
ensures
bytes == u32_le_to_bytes(value),