var PushDeviceType;
(function (PushDeviceType) {
    PushDeviceType["Web"] = "web";
    PushDeviceType["iOS"] = "ios";
    PushDeviceType["Android"] = "android";
})(PushDeviceType || (PushDeviceType = {}));
export default PushDeviceType;
//# sourceMappingURL=PushDeviceType.js.map