T : Test_binary_searchable_intf.Indexable1_and_for_test
type 'a t
val binary_search : ('a t, 'a) Base.Binary_searchable_intf.binary_search
val binary_search_segmented : ('a t, 'a) Base.Binary_searchable_intf.binary_search_segmented