Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Drasil.SglPend.Body
Synopsis
- srs :: Document
- fullSI :: System
- printSetting :: PrintingInformation
- mkSRS :: SRSDecl
- si :: System
- purp :: Sentence
- ideaDicts :: [IdeaDict]
- conceptChunks :: [ConceptChunk]
- abbreviationsList :: [IdeaDict]
- symbMap :: ChunkDB
- allRefs :: [Reference]
- concIns :: [ConceptInstance]
- physSystParts :: [Sentence]
- tMods :: [TheoryModel]
Documentation
conceptChunks :: [ConceptChunk] Source #
abbreviationsList :: [IdeaDict] Source #
concIns :: [ConceptInstance] Source #
physSystParts :: [Sentence] Source #
tMods :: [TheoryModel] Source #