| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Drasil.Generator.SRS
Contents
Synopsis
- exportSmithEtAlSrs :: SmithEtAlSRS -> SRSDecl -> String -> IO ()
Generators
exportSmithEtAlSrs :: SmithEtAlSRS -> SRSDecl -> String -> IO () Source #
Generate an SRS softifact.