Documentation

srs :: Document Source #

fullSI :: System Source #

printSetting :: PrintingInformation Source #

mkSRS :: SRSDecl Source #

si :: System Source #

ideaDicts :: [IdeaDict] Source #

conceptChunks :: [ConceptChunk] Source #

symbMap :: ChunkDB Source #

citations :: BibRef Source #

inConstraints :: [UncertQ] Source #

outConstraints :: [UncertQ] Source #

figTemp :: LabelledContent Source #

progName :: CI Source #

authorName :: Person Source #