Module kailua_env::scope

Scope identifiers and a location-to-scope map.

Structs

AllScopes	Yields all scopes in the ScopeMap.
AncestorScopes	Yields all ancestor scopes for given scope in the ScopeMap.
Names	Yields all names and corresponding scoped identifiers, visible from given scope in the ScopeMap.
NamesAndScopes	Yields all names, corresponding scoped identifiers and the containing scope visible from given scope in the ScopeMap.
Scope	A scope identifier, unique in the originating ScopeMap.
ScopeMap	A mapping from the position to the innermost scope containing it. Also manages the names in each scope.
ScopedId	A combined identifier from a unique name and its scope, unique in the originating ScopeMap.