| Safe Haskell | None |
|---|
Copilot.Compile.SBV
- compile :: Params -> Spec -> IO ()
- compileWithSBV :: Params -> [(String, SBVCodeGen ())] -> Spec -> IO ()
- sbvDirName :: String
- module Copilot.Compile.SBV.Params
Documentation
compileWithSBV :: Params -> [(String, SBVCodeGen ())] -> Spec -> IO ()Source
sbvs are optional additional SBVCodeGens to generate.
module Copilot.Compile.SBV.Params