Skip to main content

i64_from_be_bytes

vest_lib::combinators::sints::exec

Function i64_from_be_bytes 

Source 
pub exec fn i64_from_be_bytes(bytes: [u8; 8]) -> out : i64
Expand description
ensures
out == i64_be_from_bytes(bytes),