type 'a symbol =| T : 'a T.terminal -> 'a symbol| N : 'a T.nonterminal -> 'a symboltype xsymbol =| X : 'a symbol -> xsymbol
InspectionTableInterpreter.Symbolsmodule T : sig ... endtype 'a symbol = | T : 'a T.terminal -> 'a symbol |
| N : 'a T.nonterminal -> 'a symbol |
type xsymbol = | X : 'a symbol -> xsymbol |