vstd::bytes

Function spec_u64_to_le_bytes

Source
pub closed spec fn spec_u64_to_le_bytes(x: u64) -> Seq<u8>
Expand description