Function write_csv 

pub fn write_csv(lib: &Library, ids: &[String], dest: &Path) -> Result<usize>

Writes csv to dest (through a temporary file) and returns the number of rows.