CamlinternalMenhirLib.IncrementalEngine.SYMBOLS − no description
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