[This is preliminary documentation and is subject to change.]
Gets the Production name of the ProductionToken at
a particular index.
- index (Int32)
- The index to get the name at.
The Production name of the ProductionToken at the
given index, or null if the token at that index is not a production
token.