Skip to main content

i16_from_le_bytes

vest_lib::combinators::sints::exec

Function i16_from_le_bytes 

Source 
pub exec fn i16_from_le_bytes(bytes: [u8; 2]) -> out : i16
Expand description
ensures
out == i16_le_from_bytes(bytes),