Base_for_tests__Test_binary_searchable.Test
M : Base_for_tests.Test_binary_searchable_intf.Binary_searchable_and_for_test