Parameter Symbols.1-T

type 'a terminal
type 'a nonterminal