copilot-core-2.2.1: An intermediate representation for Copilot.
Copilot.Core.PrettyPrint
Description
A pretty printer for Copilot specifications.
Synopsis
prettyPrint :: Spec -> String Source #
Pretty-prints a Copilot specification.
ppExpr :: Expr a -> Doc Source #