interface Videoimport { type Video } from "https://dotland.deno.dev/x/grammy@v1.15.2/types.ts"; This object represents a video file. 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: numberVideo width as defined by sender height: numberVideo height as defined by sender duration: numberDuration of the video in seconds as defined by sender optionalthumbnail: PhotoSizeVideo thumbnail optionalfile_name: stringOriginal filename as defined by sender optionalmime_type: stringMIME type of the file as defined by sender optionalfile_size: numberFile size in bytes