1CamlinternalMenhirLib.ICnasmpleicnttieornnTaaOlbCMlaeemnIlhnitlreiLrbiprbra.erItynesrp.eMcatkieo(n3T)ableInterpreter.Make(3)
2
3
4
6 CamlinternalMenhirLib.InspectionTableInterpreter.Make - no description
7
9 Module CamlinternalMenhirLib.InspectionTableInterpreter.Make
10
12 Module Make
13 : functor (TT : TableFormat.TABLES) (IT : sig end) (ET : sig end) (E :
14 sig end) -> sig end
15
16
17
18
19 Parameters:
20
21 "TT"
22
23 CamlinternalMenhirLib.TableFormat.TABLES
24
25
26
27 "IT"
28
29 sig end
30
31
32
33 "ET"
34
35 sig end
36
37
38
39 "E"
40
41 sig end
42
43
44
45
46
47
48
49 include CamlinternalMenhirLib.IncrementalEngine.SYMBOLS
50
51
52
53 type 'a lr1state
54
55
56
57
58 type production
59
60
61
62
63 type item = production * int
64
65
66
67
68
69 val compare_terminals : 'a terminal -> 'b terminal -> int
70
71
72
73
74 val compare_nonterminals : 'a nonterminal -> 'b nonterminal -> int
75
76
77
78
79 val compare_symbols : xsymbol -> xsymbol -> int
80
81
82
83
84 val compare_productions : production -> production -> int
85
86
87
88
89 val compare_items : item -> item -> int
90
91
92
93
94 val incoming_symbol : 'a lr1state -> 'a symbol
95
96
97
98
99 val items : 'a lr1state -> item list
100
101
102
103
104 val lhs : production -> xsymbol
105
106
107
108
109 val rhs : production -> xsymbol list
110
111
112
113
114 val nullable : 'a nonterminal -> bool
115
116
117
118
119 val first : 'a nonterminal -> 'b terminal -> bool
120
121
122
123
124 val xfirst : xsymbol -> 'a terminal -> bool
125
126
127
128
129 val foreach_terminal : (xsymbol -> 'a -> 'a) -> 'a -> 'a
130
131
132
133
134 val foreach_terminal_but_error : (xsymbol -> 'a -> 'a) -> 'a -> 'a
135
136
137
138 type 'a env
139
140
141
142
143
144 val feed : 'a symbol -> CamlinternalMenhirLib.IncrementalEngine.posi‐
145 tion -> 'a -> CamlinternalMenhirLib.IncrementalEngine.position -> 'b
146 env -> 'b env
147
148
149
150
151
152
153OCamldoc Camlinternal2M0e2n3h-i0r1L-i2b3.InspectionTableInterpreter.Make(3)