zkp_u256::utils
pub const fn msb(a: u64, b: u64, c: u64, borrow: u64) -> (u64, u64)
Compute a - (b * c + borrow), returning the result and the new borrow.