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