Module type Base__Set.Equal_m