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