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