Context Navigation

Renamer

v5	v6
51	51	}}}
52	52	Here is how to understand these types:
53		* The environment maps an {{{OccName}}} to a list of all entities with that occurence name that are in scope (in any way).
	53	* The environment (`GlobalRdrEnv`) maps an {{{OccName}}} to a list of all entities with that occurence name that are in scope (in any way).
54	54	* Each of these is represented by a {{{GlobalRdrElt}}}, which gives the entity's {{{Name}}} plus a specification of how it is in scope, its {{{Provenance}}}.
55	55	* The {{{Provenance}}} has one of two forms. Either it is in scope because it is defined in this module ({{{LocalDef}}}), or because it is imported. In the latter case, the {{{[ImportSpec]}}} describes all the import statements that bring it into scope.