Module type CamlinternalMenhirLib.IncrementalEngine.SYMBOLS

module type SYMBOLS = sig .. end

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