interface Stickerimport { type Sticker } from "https://dotland.deno.dev/x/grammy@v1.10.0/types.ts"; This object represents a sticker. Propertiesfile_id: stringIdentifier for this file, which can be used to download or reuse the file file_unique_id: stringUnique identifier for this file, which is supposed to be the same over time and for different bots. Can't be used to download or reuse the file. width: numberSticker width height: numberSticker height is_animated: booleanTrue, if the sticker is animated is_video: booleanTrue, if the sticker is a video sticker optionalthumb: PhotoSizeSticker thumbnail in the .WEBP or .JPG format optionalemoji: stringEmoji associated with the sticker optionalset_name: stringName of the sticker set to which the sticker belongs optionalpremium_animation: FilePremium animation for the sticker, if the sticker is premium optionalmask_position: MaskPositionFor mask stickers, the position where the mask should be placed optionalfile_size: numberFile size in bytes