Non-terminal symbol `TypeTerm`

Defining rules for nonterminal symbol TypeTerm:

`TypeTerm`		`ID`
		`ID` '`(`' `Types` '`)`'

Occurrences of symbol TypeTerm in body of other rules:

Type TypeTerm

Non-terminal symbol TypeTerm