Identifiers


Definition

An identifier is a sequence of characters consisting of letters and digits.

The following applies to identifiers: