Module type Base__Map.Equal_m