Language.Clafer.Intermediate.Resolver

resolveModule

nameModule

nameElement

nameClafer

namePExp

nameIExp

nameIDecl

resolveNamesModule