Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
A pretty printer for Copilot specifications.
- prettyPrintDot :: Spec -> String
- prettyPrintExprDot :: Bool -> Expr a -> String
Documentation
prettyPrintDot :: Spec -> String Source
Pretty-prints a Copilot specification.
prettyPrintExprDot :: Bool -> Expr a -> String Source
Pretty-prints a Copilot expression.