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