1// Lean compiler output
2// Module: Lean
3// Imports: Init Lean.Data Lean.Compiler Lean.Environment Lean.Modifiers Lean.ProjFns Lean.Runtime Lean.ResolveName Lean.Attributes Lean.Parser Lean.ReducibilityAttrs Lean.Elab Lean.Class Lean.LocalContext Lean.MetavarContext Lean.AuxRecursor Lean.Meta Lean.Util Lean.Eval Lean.Structure Lean.PrettyPrinter Lean.CoreM Lean.InternalExceptionId Lean.Server Lean.ScopedEnvExtension Lean.DocString Lean.DeclarationRange Lean.LazyInitExtension Lean.LoadDynlib Lean.Widget Lean.Log Lean.Linter Lean.SubExpr
4#include <lean/lean.h>
5#if defined(__clang__)
6#pragma clang diagnostic ignored "-Wunused-parameter"
7#pragma clang diagnostic ignored "-Wunused-label"
8#elif defined(__GNUC__) && !defined(__CLANG__)
9#pragma GCC diagnostic ignored "-Wunused-parameter"
10#pragma GCC diagnostic ignored "-Wunused-label"
11#pragma GCC diagnostic ignored "-Wunused-but-set-variable"
12#endif
13#ifdef __cplusplus
14extern "C" {
15#endif
16lean_object* initialize_Init(uint8_t builtin, lean_object*);
17lean_object* initialize_Lean_Data(uint8_t builtin, lean_object*);
18lean_object* initialize_Lean_Compiler(uint8_t builtin, lean_object*);
19lean_object* initialize_Lean_Environment(uint8_t builtin, lean_object*);
20lean_object* initialize_Lean_Modifiers(uint8_t builtin, lean_object*);
21lean_object* initialize_Lean_ProjFns(uint8_t builtin, lean_object*);
22lean_object* initialize_Lean_Runtime(uint8_t builtin, lean_object*);
23lean_object* initialize_Lean_ResolveName(uint8_t builtin, lean_object*);
24lean_object* initialize_Lean_Attributes(uint8_t builtin, lean_object*);
25lean_object* initialize_Lean_Parser(uint8_t builtin, lean_object*);
26lean_object* initialize_Lean_ReducibilityAttrs(uint8_t builtin, lean_object*);
27lean_object* initialize_Lean_Elab(uint8_t builtin, lean_object*);
28lean_object* initialize_Lean_Class(uint8_t builtin, lean_object*);
29lean_object* initialize_Lean_LocalContext(uint8_t builtin, lean_object*);
30lean_object* initialize_Lean_MetavarContext(uint8_t builtin, lean_object*);
31lean_object* initialize_Lean_AuxRecursor(uint8_t builtin, lean_object*);
32lean_object* initialize_Lean_Meta(uint8_t builtin, lean_object*);
33lean_object* initialize_Lean_Util(uint8_t builtin, lean_object*);
34lean_object* initialize_Lean_Eval(uint8_t builtin, lean_object*);
35lean_object* initialize_Lean_Structure(uint8_t builtin, lean_object*);
36lean_object* initialize_Lean_PrettyPrinter(uint8_t builtin, lean_object*);
37lean_object* initialize_Lean_CoreM(uint8_t builtin, lean_object*);
38lean_object* initialize_Lean_InternalExceptionId(uint8_t builtin, lean_object*);
39lean_object* initialize_Lean_Server(uint8_t builtin, lean_object*);
40lean_object* initialize_Lean_ScopedEnvExtension(uint8_t builtin, lean_object*);
41lean_object* initialize_Lean_DocString(uint8_t builtin, lean_object*);
42lean_object* initialize_Lean_DeclarationRange(uint8_t builtin, lean_object*);
43lean_object* initialize_Lean_LazyInitExtension(uint8_t builtin, lean_object*);
44lean_object* initialize_Lean_LoadDynlib(uint8_t builtin, lean_object*);
45lean_object* initialize_Lean_Widget(uint8_t builtin, lean_object*);
46lean_object* initialize_Lean_Log(uint8_t builtin, lean_object*);
47lean_object* initialize_Lean_Linter(uint8_t builtin, lean_object*);
48lean_object* initialize_Lean_SubExpr(uint8_t builtin, lean_object*);
49static bool _G_initialized = false;
50LEAN_EXPORT lean_object* initialize_Lean(uint8_t builtin, lean_object* w) {
51lean_object * res;
52if (_G_initialized) return lean_io_result_mk_ok(lean_box(0));
53_G_initialized = true;
54res = initialize_Init(builtin, lean_io_mk_world());
55if (lean_io_result_is_error(res)) return res;
56lean_dec_ref(res);
57res = initialize_Lean_Data(builtin, lean_io_mk_world());
58if (lean_io_result_is_error(res)) return res;
59lean_dec_ref(res);
60res = initialize_Lean_Compiler(builtin, lean_io_mk_world());
61if (lean_io_result_is_error(res)) return res;
62lean_dec_ref(res);
63res = initialize_Lean_Environment(builtin, lean_io_mk_world());
64if (lean_io_result_is_error(res)) return res;
65lean_dec_ref(res);
66res = initialize_Lean_Modifiers(builtin, lean_io_mk_world());
67if (lean_io_result_is_error(res)) return res;
68lean_dec_ref(res);
69res = initialize_Lean_ProjFns(builtin, lean_io_mk_world());
70if (lean_io_result_is_error(res)) return res;
71lean_dec_ref(res);
72res = initialize_Lean_Runtime(builtin, lean_io_mk_world());
73if (lean_io_result_is_error(res)) return res;
74lean_dec_ref(res);
75res = initialize_Lean_ResolveName(builtin, lean_io_mk_world());
76if (lean_io_result_is_error(res)) return res;
77lean_dec_ref(res);
78res = initialize_Lean_Attributes(builtin, lean_io_mk_world());
79if (lean_io_result_is_error(res)) return res;
80lean_dec_ref(res);
81res = initialize_Lean_Parser(builtin, lean_io_mk_world());
82if (lean_io_result_is_error(res)) return res;
83lean_dec_ref(res);
84res = initialize_Lean_ReducibilityAttrs(builtin, lean_io_mk_world());
85if (lean_io_result_is_error(res)) return res;
86lean_dec_ref(res);
87res = initialize_Lean_Elab(builtin, lean_io_mk_world());
88if (lean_io_result_is_error(res)) return res;
89lean_dec_ref(res);
90res = initialize_Lean_Class(builtin, lean_io_mk_world());
91if (lean_io_result_is_error(res)) return res;
92lean_dec_ref(res);
93res = initialize_Lean_LocalContext(builtin, lean_io_mk_world());
94if (lean_io_result_is_error(res)) return res;
95lean_dec_ref(res);
96res = initialize_Lean_MetavarContext(builtin, lean_io_mk_world());
97if (lean_io_result_is_error(res)) return res;
98lean_dec_ref(res);
99res = initialize_Lean_AuxRecursor(builtin, lean_io_mk_world());
100if (lean_io_result_is_error(res)) return res;
101lean_dec_ref(res);
102res = initialize_Lean_Meta(builtin, lean_io_mk_world());
103if (lean_io_result_is_error(res)) return res;
104lean_dec_ref(res);
105res = initialize_Lean_Util(builtin, lean_io_mk_world());
106if (lean_io_result_is_error(res)) return res;
107lean_dec_ref(res);
108res = initialize_Lean_Eval(builtin, lean_io_mk_world());
109if (lean_io_result_is_error(res)) return res;
110lean_dec_ref(res);
111res = initialize_Lean_Structure(builtin, lean_io_mk_world());
112if (lean_io_result_is_error(res)) return res;
113lean_dec_ref(res);
114res = initialize_Lean_PrettyPrinter(builtin, lean_io_mk_world());
115if (lean_io_result_is_error(res)) return res;
116lean_dec_ref(res);
117res = initialize_Lean_CoreM(builtin, lean_io_mk_world());
118if (lean_io_result_is_error(res)) return res;
119lean_dec_ref(res);
120res = initialize_Lean_InternalExceptionId(builtin, lean_io_mk_world());
121if (lean_io_result_is_error(res)) return res;
122lean_dec_ref(res);
123res = initialize_Lean_Server(builtin, lean_io_mk_world());
124if (lean_io_result_is_error(res)) return res;
125lean_dec_ref(res);
126res = initialize_Lean_ScopedEnvExtension(builtin, lean_io_mk_world());
127if (lean_io_result_is_error(res)) return res;
128lean_dec_ref(res);
129res = initialize_Lean_DocString(builtin, lean_io_mk_world());
130if (lean_io_result_is_error(res)) return res;
131lean_dec_ref(res);
132res = initialize_Lean_DeclarationRange(builtin, lean_io_mk_world());
133if (lean_io_result_is_error(res)) return res;
134lean_dec_ref(res);
135res = initialize_Lean_LazyInitExtension(builtin, lean_io_mk_world());
136if (lean_io_result_is_error(res)) return res;
137lean_dec_ref(res);
138res = initialize_Lean_LoadDynlib(builtin, lean_io_mk_world());
139if (lean_io_result_is_error(res)) return res;
140lean_dec_ref(res);
141res = initialize_Lean_Widget(builtin, lean_io_mk_world());
142if (lean_io_result_is_error(res)) return res;
143lean_dec_ref(res);
144res = initialize_Lean_Log(builtin, lean_io_mk_world());
145if (lean_io_result_is_error(res)) return res;
146lean_dec_ref(res);
147res = initialize_Lean_Linter(builtin, lean_io_mk_world());
148if (lean_io_result_is_error(res)) return res;
149lean_dec_ref(res);
150res = initialize_Lean_SubExpr(builtin, lean_io_mk_world());
151if (lean_io_result_is_error(res)) return res;
152lean_dec_ref(res);
153return lean_io_result_mk_ok(lean_box(0));
154}
155#ifdef __cplusplus
156}
157#endif
158