`sig
module type S = Binary_searchable_intf.S
module type S1 = Binary_searchable_intf.S1
module type S1_permissions = Binary_searchable_intf.S1_permissions
module type Indexable = Binary_searchable_intf.Indexable
module type Indexable1 = Binary_searchable_intf.Indexable1
module Make :
functor (T : Indexable) ->
sig
val binary_search : (T.t, T.elt) Binary_searchable_intf.binary_search
val binary_search_segmented :
(T.t, T.elt) Binary_searchable_intf.binary_search_segmented
end
module Make1 :
functor (T : Indexable1) ->
sig
val binary_search : ('a T.t, 'a) Binary_searchable_intf.binary_search
val binary_search_segmented :
('a T.t, 'a) Binary_searchable_intf.binary_search_segmented
end
end`