copilot-sbv-2.2.1: A compiler for CoPilot targeting SBV.
Copilot.Compile.SBV.ACSLexpr
Description
A pretty printer for Copilot specifications.
ppExpr :: MetaTable -> Expr a -> Doc Source #