Type Definition stainless_ffmpeg_sys::FILE

type FILE = _IO_FILE;