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

Safe HaskellSafe
LanguageHaskell2010

Copilot.Compile.SBV.Params

Documentation

data Params Source

Constructors

Params 

Fields

prefix :: Maybe String
 

defaultParams :: Params Source

withPrefix :: Maybe String -> String -> String Source