copilot-sbv-2.2.1: A compiler for CoPilot targeting SBV.
Copilot.Compile.SBV.Params
data Params Source #
Constructors
Fields
defaultParams :: Params Source #
withPrefix :: Maybe String -> String -> String Source #