Make1_and_test.1-T
include Base.Binary_searchable.Indexable1
type 'a t
val get : 'a t -> int -> 'a
val length : _ t -> int
module For_test : For_test1 with type 'a t := 'a t