Module type Binary_searchable_intf.S1

type 'a t
val binary_search_segmented : ('a t'a) binary_search_segmented