Binary_searchable (base.Base.Binary

module type S = sig ... end

module type S1 = sig ... end

module type Indexable = sig ... end

module type Indexable1 = sig ... end

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 (T : Indexable) : S with type t := T.t with type elt := T.elt

module Make1 (T : Indexable1) : S1 with type 'a t := 'a T.t