1CamlinternalMenhirLib.ICnasmpleicnttieornnTaaOlbCMlaeemnIlhnitlreiLrbiprbra.erItynesrp.eMcatkieo(n3T)ableInterpreter.Make(3)
2
3
4

NAME

6       CamlinternalMenhirLib.InspectionTableInterpreter.Make - no description
7

Module

9       Module   CamlinternalMenhirLib.InspectionTableInterpreter.Make
10

Documentation

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              Camlinternal2M0e2n2h-i0r7L-i2b2.InspectionTableInterpreter.Make(3)
Impressum