def do_update_mobile_push_notification(message: Message, prior_mention_user_ids: Set[int], stream_push_user_ids: Set[int]) -> None:
    if (not message.is_stream_message()):
        return
    remove_notify_users = ((prior_mention_user_ids - message.mentions_user_ids) - stream_push_user_ids)
    do_clear_mobile_push_notifications_for_ids(list(remove_notify_users), [message.id])
def do_update_mobile_push_notification(message: Message, prior_mention_user_ids: Set[int], stream_push_user_ids: Set[int]) -> None:
    if (not message.is_stream_message()):
        return
    remove_notify_users = ((prior_mention_user_ids - message.mentions_user_ids) - stream_push_user_ids)
    do_clear_mobile_push_notifications_for_ids(list(remove_notify_users), [message.id])