Documentation

instanceModels :: [InstanceModel] Source #

imPD :: InstanceModel Source #

imPDRC :: DifferentialModel Source #

imDeriv :: Derivation Source #

imDerivStmts :: [Sentence] Source #

imDerivEqns :: [ModelExpr] Source #

derivStmt1 :: Sentence Source #

derivEqn1 :: ModelExpr Source #

derivStmt2 :: Sentence Source #

derivEqn2 :: ModelExpr Source #

derivStmt3 :: Sentence Source #

derivEqn3 :: ModelExpr Source #

derivStmt4 :: Sentence Source #

derivEqn4 :: ModelExpr Source #