Parameter Symbols.T

type 'a terminal
type 'a nonterminal