Skip to main content

u64_to_be_bytes

vest_lib::combinators::uints::exec

Function u64_to_be_bytes 

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