Commit df554af99db390e42d378983bb3fcf583477a1d7

Behdad Esfahbod 2014-06-19T15:39:18

Rename search() to bsearch() and lsearch() Such that the complexity of the algorithm used is clear at call site.