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.
pub fn elaborate_diagram(
judgments: Vec<DiagramJudgment>,
theory: &DblTheory,
) -> Result<DblModelDiagram, String>Elaborates a diagram defined by a notebook into a catlog diagram.