Language.Clafer.Intermediate.ResolverInheritance
resolveNModule
resolveNClafer
resolveNSuper
resolveNElement
resolveN
resolveHierarchy
resolveOModule
resolveOClafer
resolveOReference
resolveOElement
analyzeModule
analyzeClafer
analyzeGCard
analyzeCard
analyzeElement
resolveEModule
unrollableModule
unrollabeDeclaration
unrollableClafer
getDirUnrollables
resolveEClafer
renameClafer
renameClafer'
genId
resolveEInheritance
resolveEElement
resolveRedefinition
relocateTopLevelAbstractToParents