Binary_searchable (core_kernel.Core_kernel.Binary

include module type of struct include Base.Binary_searchable end

module type S = Base__Binary_searchable_intf.S

module type S1 = Base__Binary_searchable_intf.S1

module type Indexable = Base__Binary_searchable_intf.Indexable

module type Indexable1 = Base__Binary_searchable_intf.Indexable1

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

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

module type S1_permissions = Core_kernel__Binary_searchable_intf.S1_permissions