Skip to main content

i64_to_le_bytes

Function i64_to_le_bytes 

Source
pub exec fn i64_to_le_bytes(value: i64) -> bytes : [u8; 8]
Expand description
ensures
bytes == i64_le_to_bytes(value),