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