sig

  type 'a terminal
  type 'a nonterminal
  type 'a symbol =
      T :
        'a CamlinternalMenhirLib.IncrementalEngine.SYMBOLS.terminal -> 
        'a CamlinternalMenhirLib.IncrementalEngine.SYMBOLS.symbol
    | N :
        'a CamlinternalMenhirLib.IncrementalEngine.SYMBOLS.nonterminal -> 
        'a CamlinternalMenhirLib.IncrementalEngine.SYMBOLS.symbol
  type xsymbol =
      X :
        'a CamlinternalMenhirLib.IncrementalEngine.SYMBOLS.symbol -> 
        CamlinternalMenhirLib.IncrementalEngine.SYMBOLS.xsymbol
end