pub fn elaborate_model(
notebook: &ModelNotebook,
instantiated: &DblModelMap,
theory: &DblTheory,
ref_id: String,
) -> Result<DblModel, String>Expand description
Elaborates a model defined by a notebook into a catlog model.
pub fn elaborate_model(
notebook: &ModelNotebook,
instantiated: &DblModelMap,
theory: &DblTheory,
ref_id: String,
) -> Result<DblModel, String>Elaborates a model defined by a notebook into a catlog model.