Animation

public Animation (int32 duration, int32 width, int32 height, string file_name, string mime_type, bool has_stickers, Minithumbnail? minithumbnail, Thumbnail? thumbnail, File animation)