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

Safe HaskellSafe-Infered

Copilot.Compile.SBV.Params

Documentation

data Params Source

Constructors

Params 

Fields

prefix :: Maybe String
 

defaultParams :: ParamsSource

withPrefix :: Maybe String -> String -> StringSource