Skip to main content

u64_to_le_bytes

Function u64_to_le_bytes 

Source
pub exec fn u64_to_le_bytes(value: u64) -> bytes : [u8; 8]
Expand description
ensures
bytes == u64_le_to_bytes(value),