Documentation

dataDefinitions :: [DataDefinition] Source #

ddErrSig :: DataDefinition Source #

ddErrSigDefn :: SimpleQDef Source #

ddErrSigEqn :: Expr Source #

ddErrSigNote :: Sentence Source #

ddPropCtrl :: DataDefinition Source #

ddPropCtrlDefn :: SimpleQDef Source #

ddPropCtrlEqn :: Expr Source #

ddPropCtrlNote :: Sentence Source #

ddDerivCtrl :: DataDefinition Source #

ddDerivCtrlDefn :: SimpleQDef Source #

ddDerivCtrlEqn :: Expr Source #

ddDerivCtrlNote :: Sentence Source #

ddCtrlVar :: DataDefinition Source #

ddCtrlVarDefn :: SimpleQDef Source #

ddCtrlEqn :: Expr Source #

ddCtrlNote :: Sentence Source #