Module InspectionTableInterpreter.Symbols

Parameters

module T : sig ... end

Signature

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