include Base.Binary_searchable.S1
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
module For_test : Base_for_tests.Test_binary_searchable_intf.For_test1 with type a t := a t