···16151615CUE is lexically scoped using blocks:
16161616161716171. The scope of a [predeclared identifier](#predeclared-identifiers) is the universe block.
16181618-1. The scope of an identifier denoting a field or alias
16181618+1. The scope of an identifier denoting a field
16191619+ declared at top level (outside any struct literal) is the package block.
16201620+1. The scope of an identifier denoting an alias
16191621 declared at top level (outside any struct literal) is the file block.
162016221. The scope of the package name of an imported package is the file block of the
16211623 file containing the import declaration.
···1695169716961698foo: string // not visible outside mypackage
1697169916981698-Foo :: { // visible outside mypackage
17001700+Foo :: { // visible outside mypackage
16991701 a: 1 // visible outside mypackage
17001702 B: 2 // visible outside mypackage
17011703