CamlinternalMenhirLib.InspectionTableInterpreter.Symbols

# 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: |
`T` | : | `sig type 'a terminal type 'a nonterminal 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``