format property
The format of the video to be exported. You can export as a GIF file by using VideoExportFormat.gif or with GifExportFormat() which allows you to control the frame rate of the exported GIF file.
Defaults to VideoExportFormat.mp4.
Implementation
final VideoExportFormat format;