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

Safe HaskellSafe-Inferred
LanguageHaskell2010

Copilot.Compile.SBV.Params

Documentation

data Params Source

Constructors

Params 

Fields

prefix :: Maybe String
 

defaultParams :: Params Source

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