interface Audioimport { type Audio } from "https://dotland.deno.dev/x/grammy@v1.12.4/types.web.ts"; This object represents an audio file to be treated as music by the Telegram clients. 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. duration: numberDuration of the audio in seconds as defined by sender optionalperformer: stringPerformer of the audio as defined by sender or by audio tags optionaltitle: stringTitle of the audio as defined by sender or by audio tags 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 optionalthumb: PhotoSizeThumbnail of the album cover to which the music file belongs