Module type Indexable = Binary_searchable_intf.Indexable

include Binary_searchable_intf.Indexable_without_tests

type elt

type t

val get : t -> int -> elt

val length : t -> int

module For_test : sig .. end

To implement the test provided by Binary_searchable, we need to be able to construct t with two different values small < big.