Skip to main content

format_report

lean_ctx::core::graph_parity

Function format_report 

Source 
pub fn format_report(r: &ParityReport) -> String
Expand description

Render a ParityReport as a compact, deterministic text block.