sig
  type 'a t
  val get : 'a Binary_searchable_intf.Indexable1.t -> int -> 'a
  val length : 'a Binary_searchable_intf.Indexable1.t -> int
end