catlog_wasm::model_diagram

Function elaborate_diagram

Source 
pub fn elaborate_diagram(
    judgments: Vec<DiagramJudgment>,
    theory: &DblTheory,
) -> Result<DblModelDiagram, String>
Expand description

Elaborates a diagram defined by a notebook into a catlog diagram.