Skip to main content

collapse_proof

nibli_render

Function collapse_proof 

Source 
pub fn collapse_proof(trace: &ProofTrace, register: Register) -> RenderedNode
Expand description

Collapse a verbose proof trace into a macro-logical DAG (a RenderedNode tree). Render-only; the trace is unchanged.