pub closed spec fn spec_u16_to_le_bytes(x: u16) -> Seq<u8>
Expand description