BinarySearch

Usage

import from BinarySearch(R, S)

Description

BinarySearch(R, S) provides a general version of binary search.

Parameter	Type	Description
R	IntegerType	The space being searched
S	TotallyOrderedType	The target values being searched for

Exports

binarySearch:

(S, R $\to$ S, R, R) $\to$ (Boolean, R)

binary search