animation

record animation {
  duration: s32,
  file-id: string,
  file-name: option​<string>,
  file-size: option​<s32>,
  file-unique-id: string,
  height: s32,
  mime-type: option​<string>,
  thumb: option​<photo-size>,
  width: s32,
}