camfort-0.804: CamFort - Cambridge Fortran infrastructure

Safe HaskellNone
LanguageHaskell2010

Camfort.Specification.Units.Synthesis

Synopsis

Documentation

runSynthesis :: [(String, UnitInfo)] -> UnitSolver [(String, UnitInfo)] Source #

Insert unit declarations into the ProgramFile as comments.