Module type Binary_searchable.S1

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