Skip to main content

i32_be_from_bytes

vest_lib::combinators::sints::spec

Function i32_be_from_bytes 

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