Module type Binary_searchable_intf.Indexable1

module type Indexable1 = sig .. end

type 'a t 
val get : 'a t -> int -> 'a
val length : 'a t -> int