Function simfony_as_rust::jet::arithmetic::full_increment_64

pub fn full_increment_64(a: bool, b: u64) -> (bool, u64)

Increment an integer by one. Take a carry-in and return a carry-out.