1CamlinternalMenhirLib.EngineTypes(O3C)aml librCaarmylinternalMenhirLib.EngineTypes(3)
2
3
4
6 CamlinternalMenhirLib.EngineTypes - no description
7
9 Module CamlinternalMenhirLib.EngineTypes
10
12 Module EngineTypes
13 : sig end
14
15
16
17
18
19
20
21 type ('state, 'semantic_value) stack = {
22 state : 'state ;
23 semv : 'semantic_value ;
24 startp : Lexing.position ;
25 endp : Lexing.position ;
26 next : ('state, 'semantic_value) stack ;
27 }
28
29
30
31
32 type ('state, 'semantic_value, 'token) env = {
33 error : bool ;
34 triple : 'token * Lexing.position * Lexing.position ;
35 stack : ('state, 'semantic_value) stack ;
36 current : 'state ;
37 }
38
39
40
41
42 module type TABLE = sig end
43
44
45
46
47 module type MONOLITHIC_ENGINE = sig end
48
49
50
51
52 module type INCREMENTAL_ENGINE_START = sig end
53
54
55
56
57 module type ENGINE = sig end
58
59
60
61
62
63
64
65OCamldoc 2023-07-2C0amlinternalMenhirLib.EngineTypes(3)