Skip to main content

u32_from_le_bytes

vest_lib::combinators::uints::exec

Function u32_from_le_bytes 

Source 
pub exec fn u32_from_le_bytes(bytes: [u8; 4]) -> out : u32
Expand description
ensures
out == u32_le_from_bytes(bytes),