pub fn format_summary_with_options( summary: &FiniteSummary, options: SummaryFormatOptions, ) -> String