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