copilot-core-2.1.2: An intermediate representation for Copilot.

Safe HaskellSafe
LanguageHaskell2010

Copilot.Core.PrettyPrint

Description

A pretty printer for Copilot specifications.

Synopsis

Documentation

prettyPrint :: Spec -> String Source

Pretty-prints a Copilot specification.