Function vstd::bytes::spec_u128_to_le_bytes

source · 
pub closed spec fn spec_u128_to_le_bytes(x: u128) -> Seq<u8>
Expand description