upload.getFile#e3a6cfb5 location:InputFileLocation offset:int limit:int = upload.File;
t :: %TL.Upload.GetFile{limit: integer, location: TL.InputFileLocation.t, offset: integer}