sig
  type 'a t
  val get : 'Binary_searchable_intf.Indexable1.t -> int -> 'a
  val length : 'Binary_searchable_intf.Indexable1.t -> int
  module For_test :
    sig
      val of_array : bool array -> bool Binary_searchable_intf.Indexable1.t
    end
end