Language.Clafer.Intermediate.ResolverName
data SEnv
data HowResolved
type Resolve
defSEnv
checkDuplicateSiblings
checkDuplicateSiblings'
checkForJust
checkListDuplicates
checkListDuplicates'
isIEClafer
resolveModuleNames
resolveClafer
mkAncestorList
resolveElement
resolvePExp
resolveIExp
liftError
processDecl
resolveNav
mkPath
toNav'
adjustAncestor
mkPath'
resolveName
resolveImmName
resolve
resolveNone
resolveSpecial
resolveBind
resolveDescendants
resolveChildren
resolveReference
resolveChildren'
liftMaybe
resolveAncestor
resolveTopLevel
toNodeDeep
allInhChildren
allChildren
selectChildren
findUnique
findFirst
showPath
isNamespaceConflict
filterPaths