package base

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

An Indexable type is a finite sequence of elements indexed by consecutive integers 0 ... length t - 1. get and length must be O(1) for the resulting binary_search to be lg(n).

type elt
type t
val get : t -> int -> elt
val length : t -> int