Module type Binary_searchable_intf.S1

module type S1 = sig .. end

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