module Symbols: functor (T : sig
type terminal('a);
type nonterminal('a);
end) -> CamlinternalMenhirLib.IncrementalEngine.SYMBOLS with type 'a terminal := 'a T.terminal and type 'a nonterminal := 'a T.nonterminal
Parameters: |
|
type terminal('a);
type nonterminal('a);
type 'a symbol =
| |
T : 'a0 terminal -> 'a0 symbol |
| |
N : 'a1 nonterminal -> 'a1 symbol |
type xsymbol =
| |
X : 'a symbol -> xsymbol |