copilot-sbv-2.1.2: A compiler for CoPilot targeting SBV.
Copilot.Compile.SBV.Makefile
makefile :: Params -> String -> String -> IO () Source
makefileName :: Params -> String Source