vstd::bytes

Function u16_to_le_bytes

Source 
pub exec fn u16_to_le_bytes(x: u16) -> s : Vec<u8> ⓘ
Expand description
ensures
s@ == spec_u16_to_le_bytes(x),
s@.len() == 2,