module type S1 = Binary_searchable_intf.S1
Binary_searchable_intf.S1
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