Function zkp_u256::msb

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.