catlog_wasm::model

Function elaborate_model

Source 
pub fn elaborate_model(
    doc: &ModelDocumentContent,
    theory: &DblTheory,
) -> DblModel