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

Safe Haskell	Safe
Language	Haskell2010

Copilot.Compile.SBV.Params

Documentation

data Params Source #

Constructors

Params
Fields prefix :: Maybe String

defaultParams :: Params Source #

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