1CamlinternalMenhirLib.EngineTypes.OTCAaBmCLlaEm(ll3ii)bnrtaerrynalMenhirLib.EngineTypes.TABLE(3)
2
3
4

NAME

6       CamlinternalMenhirLib.EngineTypes.TABLE - no description
7

Module type

9       Module type   CamlinternalMenhirLib.EngineTypes.TABLE
10

Documentation

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