IncrementalEngine.SYMBOLS
type 'a terminal
type 'a nonterminal
type !'a1 symbol =
| T : 'a terminal -> 'a symbol
| N : 'a0 nonterminal -> 'a0 symbol
type xsymbol =
| X : 'a symbol -> xsymbol