pub fn summarize_proof(trace: &ProofTrace, register: Register) -> Option<String>Expand description
Build a one-block plain-English “why” explanation of the trace, or None if
there is nothing summarizable (callers then print nothing extra).
pub fn summarize_proof(trace: &ProofTrace, register: Register) -> Option<String>Build a one-block plain-English “why” explanation of the trace, or None if
there is nothing summarizable (callers then print nothing extra).