1CamlinternalMenhirLib.CTaambllienItnetrenraplrOMeCetanemhrli.rMlLaiikbber.EaTnragybilneeITnatbelrep(r3e)ter.MakeEngineTable(3)
2
3
4

NAME

6       CamlinternalMenhirLib.TableInterpreter.MakeEngineTable - no description
7

Module

9       Module   CamlinternalMenhirLib.TableInterpreter.MakeEngineTable
10

Documentation

12       Module MakeEngineTable
13        : functor (T : TableFormat.TABLES) -> sig end
14
15
16
17
18       Parameters:
19
20       "T"
21
22       CamlinternalMenhirLib.TableFormat.TABLES
23
24
25
26
27
28
29
30       type state
31
32
33
34
35
36       val number : state -> int
37
38
39
40       type token
41
42
43
44
45       type terminal
46
47
48
49
50       type nonterminal
51
52
53
54
55       type semantic_value
56
57
58
59
60
61       val token2terminal : token -> terminal
62
63
64
65
66       val token2value : token -> semantic_value
67
68
69
70
71       val error_terminal : terminal
72
73
74
75
76       val error_value : semantic_value
77
78
79
80
81       val foreach_terminal : (terminal -> 'a -> 'a) -> 'a -> 'a
82
83
84
85       type production
86
87
88
89
90
91       val production_index : production -> int
92
93
94
95
96       val find_production : int -> production
97
98
99
100
101       val  default_reduction  :  state  -> ('env -> production -> 'answer) ->
102       ('env -> 'answer) -> 'env -> 'answer
103
104
105
106
107       val action : state -> terminal -> semantic_value -> ('env  ->  bool  ->
108       terminal  -> semantic_value -> state -> 'answer) -> ('env -> production
109       -> 'answer) -> ('env -> 'answer) -> 'env -> 'answer
110
111
112
113
114       val goto_nt : state -> nonterminal -> state
115
116
117
118
119       val goto_prod : state -> production -> state
120
121
122
123
124       val maybe_goto_nt : state -> nonterminal -> state option
125
126
127
128
129       val is_start : production -> bool
130
131
132
133
134       exception Error
135
136
137
138
139       type semantic_action = (state, semantic_value, token)  CamlinternalMen‐
140       hirLib.EngineTypes.env   ->  (state,  semantic_value)  CamlinternalMen‐
141       hirLib.EngineTypes.stack
142
143
144
145
146
147       val semantic_action : production -> semantic_action
148
149
150
151
152       val may_reduce : state -> production -> bool
153
154
155
156
157       val log : bool
158
159
160
161       module Log : sig end
162
163
164
165
166
167
168
169OCamldoc             CamlinternalM2e0n2h1i-r0L1i-b2.6TableInterpreter.MakeEngineTable(3)