| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Camfort.Specification.Units.Synthesis
Synopsis
- runSynthesis :: Char -> [(VV, UnitInfo)] -> UnitSolver [(VV, UnitInfo)]
Documentation
runSynthesis :: Char -> [(VV, UnitInfo)] -> UnitSolver [(VV, UnitInfo)] Source #
Insert unit declarations into the ProgramFile as comments.