Base_for_tests__Test_binary_searchable.Test1
M : Base_for_tests.Test_binary_searchable_intf.Binary_searchable1_and_for_test