CamlinternalMenhirLib.IncrementalEngine.SYMBOLS

NAME

CamlinternalMenhirLib.IncrementalEngine.SYMBOLS − no description

Module type

Module type CamlinternalMenhirLib.IncrementalEngine.SYMBOLS

Documentation

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