Non-terminal symbol `IndexType`

Defining rules for nonterminal symbol IndexType:

`IndexType`		`IntType_opt`
		`MapIndexType`

Occurrences of symbol IndexType in body of other rules:

ArrayType Type '[' IndexType ']'

Non-terminal symbol IndexType