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