Lines Matching full:invariant
2848 Shift mp rightward by p digits. Maintains the invariant that3145 /* If we have a borrow out, it's a violation of the input invariant */3356 of our input invariant. We've already done the work,
