Function export_xes_trace_stream_to_file 

pub fn export_xes_trace_stream_to_file<T: Borrow<Trace>, I>(
    trace_stream: I,
    log_data: XESOuterLogData,
    file: File,
    compress_gz: bool,
) -> Result<(), Error>
where
    I: Iterator<Item = T>,

Export a trace stream (i.e., Iterator over Trace) and XESOuterLogData to a File

If compress_gz is true, the XES will be compressed to a .xes.gz file before writing to file