1CamlinternalMenhirLib.Printers.MakOeC(a3m)l liCbarmalriynternalMenhirLib.Printers.Make(3)
2
3
4
6 CamlinternalMenhirLib.Printers.Make - no description
7
9 Module CamlinternalMenhirLib.Printers.Make
10
12 Module Make
13 : functor (I : IncrementalEngine.EVERYTHING) (User : sig end) -> sig
14 end
15
16
17
18
19 Parameters:
20
21 "I"
22
23 CamlinternalMenhirLib.IncrementalEngine.EVERYTHING
24
25
26
27 "User"
28
29 sig end
30
31
32
33
34
35
36
37
38 val print_symbols : I.xsymbol list -> unit
39
40
41
42
43 val print_element_as_symbol : I.element -> unit
44
45
46
47
48 val print_stack : 'a I.env -> unit
49
50
51
52
53 val print_item : I.item -> unit
54
55
56
57
58 val print_production : I.production -> unit
59
60
61
62
63 val print_current_state : 'a I.env -> unit
64
65
66
67
68 val print_env : 'a I.env -> unit
69
70
71
72
73
74
75OCamldoc 2023-07C-a2m0linternalMenhirLib.Printers.Make(3)