Helium.ModuleSystem.DictionaryEnvironment

data DictionaryEnvironment

data DictionaryTree

emptyDictionaryEnvironment

addForDeclaration

addForVariable

getPredicateForDecl

getDictionaryTrees

makeDictionaryTree

makeDictionaryTrees