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
The present documentation is copyright Institut National de Recherche en Informatique et en Automatique (INRIA). A complete version can be obtained from this page.