Skip to main content

i32_to_le_bytes

vest_lib::combinators::sints::exec

Function i32_to_le_bytes 

Source 
pub exec fn i32_to_le_bytes(value: i32) -> bytes : [u8; 4]
Expand description
ensures
bytes == i32_le_to_bytes(value),