Parameter Core_kernel__Import.Test_binary_searchable_intf.Test_binary_searchable.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 t := a t