1CamlinternalMenhirLib.IncrCeammelnitnatleEOrnCngaaimlnlMee.lnIihNbiSrrPaLEriCybT.IIOnNc(r3e)mentalEngine.INSPECTION(3)
2
3
4

NAME

6       CamlinternalMenhirLib.IncrementalEngine.INSPECTION - no description
7

Module type

9       Module type   CamlinternalMenhirLib.IncrementalEngine.INSPECTION
10

Documentation

12       Module type INSPECTION
13        = sig end
14
15
16
17
18
19
20
21       include CamlinternalMenhirLib.IncrementalEngine.SYMBOLS
22
23
24
25       type 'a lr1state
26
27
28
29
30       type production
31
32
33
34
35       type item = production * int
36
37
38
39
40
41       val compare_terminals : 'a terminal -> 'b terminal -> int
42
43
44
45
46       val compare_nonterminals : 'a nonterminal -> 'b nonterminal -> int
47
48
49
50
51       val compare_symbols : xsymbol -> xsymbol -> int
52
53
54
55
56       val compare_productions : production -> production -> int
57
58
59
60
61       val compare_items : item -> item -> int
62
63
64
65
66       val incoming_symbol : 'a lr1state -> 'a symbol
67
68
69
70
71       val items : 'a lr1state -> item list
72
73
74
75
76       val lhs : production -> xsymbol
77
78
79
80
81       val rhs : production -> xsymbol list
82
83
84
85
86       val nullable : 'a nonterminal -> bool
87
88
89
90
91       val first : 'a nonterminal -> 'b terminal -> bool
92
93
94
95
96       val xfirst : xsymbol -> 'a terminal -> bool
97
98
99
100
101       val foreach_terminal : (xsymbol -> 'a -> 'a) -> 'a -> 'a
102
103
104
105
106       val foreach_terminal_but_error : (xsymbol -> 'a -> 'a) -> 'a -> 'a
107
108
109
110       type 'a env
111
112
113
114
115
116       val  feed  : 'a symbol -> CamlinternalMenhirLib.IncrementalEngine.posi‐
117       tion -> 'a ->  CamlinternalMenhirLib.IncrementalEngine.position  ->  'b
118       env -> 'b env
119
120
121
122
123
124
125OCamldoc                 Camlinter2n0a2l2M-e0n7h-i2r2Lib.IncrementalEngine.INSPECTION(3)