Module Binary_searchable.Make

Parameters

module T : Indexable

Signature

val binary_search_segmented : ?pos:int -> ?len:int -> T.t -> segment_of:(T.elt -> [ `Left | `Right ]) -> [ `First_on_right | `Last_on_left ] -> int option