Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
A pretty printer for Copilot specifications.
- prettyPrint :: Spec -> String
Documentation
prettyPrint :: Spec -> String Source
Pretty-prints a Copilot specification.
Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
A pretty printer for Copilot specifications.
prettyPrint :: Spec -> String Source
Pretty-prints a Copilot specification.