Skip to main content

i64_be_from_bytes

vest_lib::combinators::sints::spec

Function i64_be_from_bytes 

Source 
pub open spec fn i64_be_from_bytes(i: [u8; 8]) -> i64
Expand description
{ u64_be_from_bytes(i) as i64 }