[docs]classProximityAlertTriggered(TelegramObject):""" This object represents the content of a service message, sent whenever a user in the chat triggers a proximity alert set by another user. Source: https://core.telegram.org/bots/api#proximityalerttriggered """traveler:User"""User that triggered the alert"""watcher:User"""User that set the alert"""distance:int"""The distance between the users"""ifTYPE_CHECKING:# DO NOT EDIT MANUALLY!!!# This section was auto-generated via `butcher`def__init__(__pydantic__self__,*,traveler:User,watcher:User,distance:int,**__pydantic_kwargs:Any,)->None:# DO NOT EDIT MANUALLY!!!# This method was auto-generated via `butcher`# Is needed only for type checking and IDE support without any additional pluginssuper().__init__(traveler=traveler,watcher=watcher,distance=distance,**__pydantic_kwargs)