An Indexable type is a finite sequence of elements indexed by consecutive integers 0 ... length t - 1. get and length must be O(1) for the resulting binary_search to be lg(n).
Indexable
0
length t - 1
get
length
binary_search