catlog_wasm::model

Function elaborate_model

Source 
pub fn elaborate_model(
    judgments: Vec<ModelJudgment>,
    theory: &DblTheory,
) -> Result<DblModel, String>
Expand description

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