Copilot.PrettyPrint
Description
A pretty printer for Copilot specifications.
prettyPrint :: Spec -> String Source #
Pretty-print a Copilot specification.
ppExpr :: Expr a -> Doc Source #
Pretty-print a Copilot expression.
The type is ignored, and only the expression is pretty-printed.