Function simfony_as_rust::jet::arithmetic::full_decrement_64

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

Decrement an integer by one. Take a borrow-in and return a borrow-out.