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

Safe Haskell	Safe-Inferred

Copilot.Compile.SBV.Params

Documentation

data Params Source

Constructors

Params
Fields prefix :: Maybe String

defaultParams :: Params Source

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