Searched defs:isGlobalId (Results 1 – 6 of 6) sorted by relevance
747 isGlobalId (Id { idScope = GlobalId }) = True function748 isGlobalId _ = False function
898 isGlobalId (Id { idScope = GlobalId }) = True function899 isGlobalId _ = False function
932 isGlobalId (Id { idScope = GlobalId }) = True function933 isGlobalId _ = False function
2411 | isGlobalId v = (env { occ_encl = OccVanilla }, Nothing) function