Module type CamlinternalMenhirLib.IncrementalEngine.SYMBOLS

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`

The present documentation is copyright Institut National de Recherche en Informatique et en Automatique (INRIA). A complete version can be obtained from this page.