Skip to main content

u24_from_le_bytes

Function u24_from_le_bytes 

Source
pub exec fn u24_from_le_bytes(bytes: [u8; 3]) -> out : u32
Expand description
ensures
out == u24_le_from_bytes(bytes),