sig
type 'a t
val binary_search :
('a Binary_searchable_intf.S1.t, 'a) Binary_searchable_intf.binary_search
val binary_search_segmented :
('a Binary_searchable_intf.S1.t, 'a)
Binary_searchable_intf.binary_search_segmented
end