# Names

TODO

# Names

1. A name is an identifier. Two names are the same if they comprise the same sequence of Unicode code points.

   TODO: Normalization?

# Scopes

1. A scope is one of:

   • The top level in a source file.
   • A pattern scope.
   • A block scope.
   • A type definition.

2. Every construct that declares a name binds the name to the declared entity within the innermost enclosing scope.

# Unqualified name lookup

1. Unqualified name lookup associates a name with an entity. The associated entity is the entity to which the name is bound in the innermost enclosing scope in which the name is bound.