Documentation

srs :: Document Source #

fullSI :: System Source #

printSetting :: PrintingInformation Source #

mkSRS :: SRSDecl Source #

si :: System Source #

purp :: Sentence Source #

motivation :: Sentence Source #

background :: Sentence Source #

symbolsAll :: [DefinedQuantityDict] Source #

ideaDicts :: [IdeaDict] Source #

abbreviationsList :: [IdeaDict] Source #

conceptChunks :: [ConceptChunk] Source #

symbMap :: ChunkDB Source #

allRefs :: [Reference] Source #

stdFields :: Fields Source #

concIns :: [ConceptInstance] Source #

justification :: CI -> Sentence Source #

externalLinkRef :: Reference Source #

scope :: Sentence Source #

charsOfReader :: [Sentence] Source #

sysCtxIntro :: CI -> Contents Source #

sysCtxDesc :: Contents Source #

sysCtxUsrResp :: CI -> [Sentence] Source #

sysCtxSysResp :: [Sentence] Source #

sysCtxResp :: CI -> [Sentence] Source #

sysCtxList :: CI -> Contents Source #

userCharacteristicsIntro :: CI -> Contents Source #

terms :: [ConceptChunk] Source #

physSystParts :: [Sentence] Source #

tMods :: [TheoryModel] Source #