1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
(** @canonical Mazeppa.C_codegen *)
module C_codegen = Mazeppa__C_codegen
(** @canonical Mazeppa.C_syntax *)
module C_syntax = Mazeppa__C_syntax
(** @canonical Mazeppa.Const *)
module Const = Mazeppa__Const
(** @canonical Mazeppa.Converter *)
module Converter = Mazeppa__Converter
(** @canonical Mazeppa.Document *)
module Document = Mazeppa__Document
(** @canonical Mazeppa.Driver *)
module Driver = Mazeppa__Driver
(** @canonical Mazeppa.Evaluator *)
module Evaluator = Mazeppa__Evaluator
(** @canonical Mazeppa.Gensym *)
module Gensym = Mazeppa__Gensym
(** @canonical Mazeppa.History *)
module History = Mazeppa__History
(** @canonical Mazeppa.Homeomorphic_emb *)
module Homeomorphic_emb = Mazeppa__Homeomorphic_emb
(** @canonical Mazeppa.Lexer *)
module Lexer = Mazeppa__Lexer
(** @canonical Mazeppa.Msg *)
module Msg = Mazeppa__Msg
(** @canonical Mazeppa.Parser *)
module Parser = Mazeppa__Parser
(** @canonical Mazeppa.Postprocessor *)
module Postprocessor = Mazeppa__Postprocessor
(** @canonical Mazeppa.Pretty *)
module Pretty = Mazeppa__Pretty
(** @canonical Mazeppa.Process_graph *)
module Process_graph = Mazeppa__Process_graph
(** @canonical Mazeppa.Program *)
module Program = Mazeppa__Program
(** @canonical Mazeppa.Raw_program *)
module Raw_program = Mazeppa__Raw_program
(** @canonical Mazeppa.Raw_term *)
module Raw_term = Mazeppa__Raw_term
(** @canonical Mazeppa.Renaming *)
module Renaming = Mazeppa__Renaming
(** @canonical Mazeppa.Residualizer *)
module Residualizer = Mazeppa__Residualizer
(** @canonical Mazeppa.Simplifier *)
module Simplifier = Mazeppa__Simplifier
(** @canonical Mazeppa.Subst *)
module Subst = Mazeppa__Subst
(** @canonical Mazeppa.Supervisor *)
module Supervisor = Mazeppa__Supervisor
(** @canonical Mazeppa.Symbol *)
module Symbol = Mazeppa__Symbol
(** @canonical Mazeppa.Symbol_map *)
module Symbol_map = Mazeppa__Symbol_map
(** @canonical Mazeppa.Symbol_set *)
module Symbol_set = Mazeppa__Symbol_set
(** @canonical Mazeppa.Term *)
module Term = Mazeppa__Term
(** @canonical Mazeppa.Util *)
module Util = Mazeppa__Util
(** @canonical Mazeppa.Visualizer *)
module Visualizer = Mazeppa__Visualizer
module Mazeppa__ = struct end
[@@deprecated "this module is shadowed"]