-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | A prettyprinter of Copilot Specifications.
--   
--   A prettyprinter of Copilot specifications.
--   
--   Copilot is a stream (i.e., infinite lists) domain-specific language
--   (DSL) in Haskell that compiles into embedded C. Copilot contains an
--   interpreter, multiple back-end compilers, and other verification
--   tools.
--   
--   A tutorial, examples, and other information are available at
--   <a>https://copilot-language.github.io</a>.
@package copilot-prettyprinter
@version 4.0


-- | A pretty printer for Copilot specifications.
module Copilot.PrettyPrint

-- | Pretty-print a Copilot specification.
prettyPrint :: Spec -> String

-- | Pretty-print a Copilot expression.
--   
--   The type is ignored, and only the expression is pretty-printed.
ppExpr :: Expr a -> Doc