Module type Binary_searchable_intf.Binary_searchable.Indexable1

module type Indexable1 = Binary_searchable_intf.Indexable1

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