export type PushTarget = {
    device_id: string;
    user_id: string;
    push_token: string;
    platform: "android" | "ios";
};
export type PushDirectory = {
    targetsFor(userIds: string[], appId: string): Promise<PushTarget[]>;
    forget(deviceId: string): Promise<void>;
};
