Function export 

pub fn export(
    out: &Path,
    pieces: &[Piece],
    opts: ExportOptions,
    progress: impl FnMut(&Progress) -> bool,
) -> Result<Exported>