InspectionTableInterpreter.Symbols
module T : sig ... end
type 'a symbol =
| T : 'a T.terminal -> 'a symbol
| N : 'a T.nonterminal -> 'a symbol
type xsymbol =
| X : 'a symbol -> xsymbol