export var VarCityCode;
(function (VarCityCode) {
VarCityCode[VarCityCode["FoxAmphoux"] = 83060] = "FoxAmphoux";
VarCityCode[VarCityCode["Carces"] = 83032] = "Carces";
VarCityCode[VarCityCode["Grimaud"] = 83068] = "Grimaud";
})(VarCityCode || (VarCityCode = {}));