Module type Base__.Map.Compare_m