Interface PushReceiverId

Contains a globally unique push receiver identifier, which can be used to identify which account has received a push notification.

interface PushReceiverId {
@type: "pushReceiverId";
id: string;
}