Binary_searchable (docs.findlib-1.core.Core.Binary

include module type of struct include Base.Binary_searchable end

module type S = Base.Binary_searchable.S

module type S1 = Base.Binary_searchable.S1

module type Indexable = Base.Binary_searchable.Indexable

module type Indexable1 = Base.Binary_searchable.Indexable1

module Which_target_by_key = Base.Binary_searchable.Which_target_by_key

module Which_target_by_segment = Base.Binary_searchable.Which_target_by_segment

type nonrec ('t, 'elt, 'key) binary_search =
  ?pos:int ->
  ?len:int ->
  't ->
  compare:('elt -> '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

type nonrec ('t, 'elt) binary_search_segmented =
  ?pos:int ->
  ?len:int ->
  't ->
  segment_of:('elt -> [ `Left | `Right ]) ->
  [ `Last_on_left | `First_on_right ] ->
  int option

module Make = Base.Binary_searchable.Make

module Make1 = Base.Binary_searchable.Make1

module type S0_permissions = sig ... end

module type S1_permissions = sig ... end