Skip to main content

u24_from_be_bytes

Function u24_from_be_bytes 

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