copilot-sbv-2.2.1: A compiler for CoPilot targeting SBV.

Safe HaskellSafe
LanguageHaskell2010

Copilot.Compile.SBV.ACSLexpr

Description

A pretty printer for Copilot specifications.

Documentation

ppExpr :: MetaTable -> Expr a -> Doc Source #