1CamlinternalMenhirLib.IncremeCnatmalliEOnnCtgaeimrnlnea.llSiMYbeMrnBahOriLyrSL(i3b).IncrementalEngine.SYMBOLS(3)
2
3
4

NAME

6       CamlinternalMenhirLib.IncrementalEngine.SYMBOLS - no description
7

Module type

9       Module type   CamlinternalMenhirLib.IncrementalEngine.SYMBOLS
10

Documentation

12       Module type SYMBOLS
13        = sig end
14
15
16
17
18
19
20
21       type 'a terminal
22
23
24
25
26       type 'a nonterminal
27
28
29
30
31       type 'a symbol =
32        | T : 'a0 terminal -> 'a0 symbol
33        | N : 'a1 nonterminal -> 'a1 symbol
34
35
36
37
38       type xsymbol =
39        | X : 'a symbol -> xsymbol
40
41
42
43
44
45
46
47OCamldoc                    Camlin2t0e2r1n-a0l7M-e2n2hirLib.IncrementalEngine.SYMBOLS(3)