module type Indexable =sig
..end
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).type
elt
type
t
val get : t ->
int -> elt
val length : t -> int
module For_test:sig
..end
Binary_searchable
, we need to be able to
construct t
with two different values small < big
.