Binary search

A binary search algorithm finds the position of a key in a sorted array. With each iteration it halves the number of items to check.

Properties

λ Binary_search