Skip to main content

render_collapsed_text

nibli_render

Function render_collapsed_text 

Source 
pub fn render_collapsed_text(
    trace: &ProofTrace,
    register: Register,
    base_indent: usize,
    include_detail: bool,
) -> String
Expand description

The collapsed macro-logical-DAG proof of a whole trace as indented text (the REPL / server / book view): the closed-world NAF caveat (when the verdict rests on it), then the collapsed tree. With include_detail = false the role-level clusters are omitted (the clean macro view). One call every text surface shares — nibli-host, nibli-server, nibli-wasm.