pub fn batch_path(dir: &Path, seq: u64, extension: &str) -> PathBuf
The path of a batch’s file with an extension.