Module InspectionTableInterpreter.SymbolsSource

Parameters

module T : sig ... end

Signature

Sourcetype 'a symbol =
  1. | T : 'a T.terminal -> 'a symbol
  2. | N : 'a T.nonterminal -> 'a symbol
Sourcetype xsymbol =
  1. | X : 'a symbol -> xsymbol