Skip to main content

i32_le_from_bytes

vest_lib::combinators::sints::spec

Function i32_le_from_bytes 

Source 
pub open spec fn i32_le_from_bytes(i: [u8; 4]) -> i32
Expand description
{ u32_le_from_bytes(i) as i32 }