Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
ppDirective :: Directive -> String Source #
ppPostConditions :: [Effect] -> String Source #
ppPreConditions :: [Term] -> String Source #
ppDerivRules :: [Derivation] -> [Char] Source #
ppViolationConds :: [Term] -> String Source #
ppEnforcingActs :: [DomId] -> String Source #
ppDeriv :: Derivation -> String Source #
ppConstraint :: Term -> [Char] Source #