Added detailed docstring with type hints and examples to binary_search function. Includes doctests for validation.

Added detailed docstring with type hints and examples to binary_search function. Includes doctests for validation. #16921