Module type Binary_searchable_intf.Indexable

module type Indexable = sig .. end

An Indexable type is a finite sequence of elements indexed by consecutive integers 0 ... length t - 1.

type elt

type t

val get : t ->
       int -> elt

val length : t -> int