Question: Which library is being used in the example

[pablop94]

In the example, when the device is not found, the following code is executed:

from notifications.models import PushToken
PushToken.objects.filter(token=token).update(active=False)

Which library is being used to manage PushToken, is it some django related implementation?