Skip to main content

u16_to_be_bytes

Function u16_to_be_bytes 

Source
pub exec fn u16_to_be_bytes(value: u16) -> bytes : [u8; 2]
Expand description
ensures
bytes == u16_be_to_bytes(value),