Added the documentation for binary search