Parameter Make_and_test.1-T

include Base.Binary_searchable.Indexable
type elt
type t
val get : t -> int -> elt
val length : t -> int
module For_test : Base_for_tests.Test_binary_searchable_intf.For_test with type elt := elt with type t := t