include Base.Binary_searchable.S1val binary_search : ('a t, 'a) Base.Binary_searchable_intf.binary_searchval binary_search_segmented : ('a t, 'a) Base.Binary_searchable_intf.binary_search_segmentedmodule For_test : Test_binary_searchable_intf.For_test1 with type a t := a t