DashFileVideo: { avg_bitrate: number; avg_id: string; base_url: string; bitrate: number; codecs: string; duration: number; format: "dash" | "mp42"; framerate: number; height: number; id: string; index_segment?: string; init_segment: string; max_segment_duration: number; mime_type: "video/mp4"; segments: DashFileVideoSegment[]; width: number; }