Identifiers
- Last UpdatedNov 27, 2025
- 1 minute read
Identifiers are used as names.
|
<identifier> ::= |
<letter_extended>|$|#{<letter_extended>|<digit>|$|#|_} |
The length of an identifier should be in the range 1 through 32.
Note: Identifiers differing only in the use of the corresponding upper and lower case letters are considered to be the same.