Skip to main content

i64_to_be_bytes

Function i64_to_be_bytes 

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