updateEncryption#b4a2e88d chat:EncryptedChat date:int = Update;
t :: %TL.UpdateEncryption{chat: EncryptedChat.t, date: integer}