Module type Base__.Map_intf.Map.Compare_m