Skip to main content

u16_from_be_bytes

vest_lib::combinators::uints::exec

Function u16_from_be_bytes 

Source 
pub exec fn u16_from_be_bytes(bytes: [u8; 2]) -> out : u16
Expand description
ensures
out == u16_be_from_bytes(bytes),