Make1 (base.Base.Binary_searchable.Make1)

Parameters

module T : Indexable1

Signature

val binary_search : 
  ?pos:int ->
  ?len:int ->
  'a T.t ->
  compare:( 'a -> 'key -> int ) ->
  [ `Last_strictly_less_than
  | `Last_less_than_or_equal_to
  | `Last_equal_to
  | `First_equal_to
  | `First_greater_than_or_equal_to
  | `First_strictly_greater_than ] ->
  'key ->
  int option

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