Function vstd::bytes::u64_to_le_bytes

source · 
pub exec fn u64_to_le_bytes(x: u64) -> s : Vec<u8>
Expand description
ensures
s@ == spec_u64_to_le_bytes(x),
s@.len() == 8,