Function simfony_as_rust::jet::arithmetic::negate_64
source · pub fn negate_64(a: u64) -> (bool, u64)Expand description
Negate the integer (modulo 2⁶⁴) and return the borrow bit.
pub fn negate_64(a: u64) -> (bool, u64)Negate the integer (modulo 2⁶⁴) and return the borrow bit.