copilot-sbv-0.3: A compiler for CoPilot targeting SBV.
Copilot.Compile.SBV
compile :: Params -> Spec -> IO ()Source
sbvDirName :: StringSource
module Copilot.Compile.SBV.Params