copilot-core-2.2.1: An intermediate representation for Copilot.
Copilot.Core.PrettyDot
Description
A pretty printer for Copilot specifications.
Synopsis
prettyPrintDot :: Spec -> String Source #
Pretty-prints a Copilot specification.
prettyPrintExprDot :: Bool -> Expr a -> String Source #
Pretty-prints a Copilot expression.