Invariant?
Store an integer in k to truthify
b[0..k] <= x < b[k+1..b.length-1]
Invariant
Previous slide
Next slide
Back to first slide
View graphic version