pub fn export_adrs( adrs: &[Adr], dir: &Path, format: ExportFormat, ) -> Result<ExportResult, Error>
Export ADRs to the specified format.
Returns an error if export fails.