Module InspectionTableInterpreter.Symbols

Parameters

• T : sig ... end

Signature

type 'a terminal

type 'a nonterminal

type 'a symbol =

| T : 'a terminal -> 'a symbol

| N : 'a nonterminal -> 'a symbol

type xsymbol =

| X : 'a symbol -> xsymbol