Module Binary_searchable_intf

module Binary_searchable_intf: sig .. end

Module types for a binary_search function for a sequence, and functors for building binary_search functions.

module type Indexable = sig .. end

An Indexable type is a finite sequence of elements indexed by consecutive integers 0 ...

module type Indexable1 = sig .. end

module type S = sig .. end

module type S1 = sig .. end

module type Binary_searchable = sig .. end

Module types for a binary_search function for a sequence, and functors for building binary_search functions.

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

binary_search ?pos ?len t ~compare v returns the index in t holding a value equal to v according to compare. It assumes that t is sorted in nondecreasing order according to compare. By default, it does a binary search of the entire t. One can supply ?pos ?len to search a slice of t.