module type SYMBOLS = sig .. end
sig
end
type 'a terminal
'a
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