messages.sentEncryptedFile#9493ff32 date:int file:EncryptedFile = messages.SentEncryptedMessage;
t :: %TL.Messages.SentEncryptedFile{date: integer, file: TL.EncryptedFile.t}