module type Indexable = Binary_searchable_intf.Indexable
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
.