module type SYMBOLS = sig .. end
type 'a terminal
type 'a nonterminal
type 'a symbol =
|
T : 'a0 terminal -> 'a0 symbol
'a0 terminal
'a0 symbol
N : 'a1 nonterminal -> 'a1 symbol
'a1 nonterminal
'a1 symbol
type xsymbol =
X : 'a symbol -> xsymbol
'a symbol
xsymbol
© 1995-2024 INRIA. https://ocaml.org/manual/5.2/api/compilerlibref/CamlinternalMenhirLib.IncrementalEngine.SYMBOLS.html