sig
module type S = S
module type S1 = S1
module type Indexable = Indexable
module type Indexable1 = Indexable1
module Make :
functor (T : Indexable) ->
sig
val binary_search :
?pos:int ->
?len:int ->
T.t -> compare:(T.elt -> T.elt -> int) -> T.elt -> int option
end
module Make1 :
functor (T : Indexable1) ->
sig
val binary_search :
?pos:int ->
?len:int -> 'a T.t -> compare:('a -> 'a -> int) -> 'a -> int option
end
end