Skip to main content

i64_le_to_bytes

vest_lib::combinators::sints::spec

Function i64_le_to_bytes 

Source 
pub open spec fn i64_le_to_bytes(o: i64) -> [u8; 8]
Expand description
{ u64_le_to_bytes(o as u64) }