Function vstd::bytes::u128_to_le_bytes

source · 
pub exec fn u128_to_le_bytes(x: u128) -> s : Vec<u8>
Expand description
ensures
@ == spec_u128_to_le_bytes(x),
@.len() == 16,