Module `Base__.Binary_searchable`

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 = ('t, 'elt, 'key) Base__.Binary_searchable_intf.binary_search
type nonrec ('t, 'elt) binary_search_segmented = ('t, 'elt) Base__.Binary_searchable_intf.binary_search_segmented

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