1// Lean compiler output
2// Module: Lake.DSL
3// Imports: Init Lake.DSL.DeclUtil Lake.DSL.Attributes Lake.DSL.Extensions Lake.DSL.Config Lake.DSL.Package Lake.DSL.Script Lake.DSL.Require Lake.DSL.Targets Lake.DSL.Facets Lake.DSL.Meta
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_Lake_DSL_DeclUtil(uint8_t builtin, lean_object*);
18lean_object* initialize_Lake_DSL_Attributes(uint8_t builtin, lean_object*);
19lean_object* initialize_Lake_DSL_Extensions(uint8_t builtin, lean_object*);
20lean_object* initialize_Lake_DSL_Config(uint8_t builtin, lean_object*);
21lean_object* initialize_Lake_DSL_Package(uint8_t builtin, lean_object*);
22lean_object* initialize_Lake_DSL_Script(uint8_t builtin, lean_object*);
23lean_object* initialize_Lake_DSL_Require(uint8_t builtin, lean_object*);
24lean_object* initialize_Lake_DSL_Targets(uint8_t builtin, lean_object*);
25lean_object* initialize_Lake_DSL_Facets(uint8_t builtin, lean_object*);
26lean_object* initialize_Lake_DSL_Meta(uint8_t builtin, lean_object*);
27static bool _G_initialized = false;
28LEAN_EXPORT lean_object* initialize_Lake_DSL(uint8_t builtin, lean_object* w) {
29lean_object * res;
30if (_G_initialized) return lean_io_result_mk_ok(lean_box(0));
31_G_initialized = true;
32res = initialize_Init(builtin, lean_io_mk_world());
33if (lean_io_result_is_error(res)) return res;
34lean_dec_ref(res);
35res = initialize_Lake_DSL_DeclUtil(builtin, lean_io_mk_world());
36if (lean_io_result_is_error(res)) return res;
37lean_dec_ref(res);
38res = initialize_Lake_DSL_Attributes(builtin, lean_io_mk_world());
39if (lean_io_result_is_error(res)) return res;
40lean_dec_ref(res);
41res = initialize_Lake_DSL_Extensions(builtin, lean_io_mk_world());
42if (lean_io_result_is_error(res)) return res;
43lean_dec_ref(res);
44res = initialize_Lake_DSL_Config(builtin, lean_io_mk_world());
45if (lean_io_result_is_error(res)) return res;
46lean_dec_ref(res);
47res = initialize_Lake_DSL_Package(builtin, lean_io_mk_world());
48if (lean_io_result_is_error(res)) return res;
49lean_dec_ref(res);
50res = initialize_Lake_DSL_Script(builtin, lean_io_mk_world());
51if (lean_io_result_is_error(res)) return res;
52lean_dec_ref(res);
53res = initialize_Lake_DSL_Require(builtin, lean_io_mk_world());
54if (lean_io_result_is_error(res)) return res;
55lean_dec_ref(res);
56res = initialize_Lake_DSL_Targets(builtin, lean_io_mk_world());
57if (lean_io_result_is_error(res)) return res;
58lean_dec_ref(res);
59res = initialize_Lake_DSL_Facets(builtin, lean_io_mk_world());
60if (lean_io_result_is_error(res)) return res;
61lean_dec_ref(res);
62res = initialize_Lake_DSL_Meta(builtin, lean_io_mk_world());
63if (lean_io_result_is_error(res)) return res;
64lean_dec_ref(res);
65return lean_io_result_mk_ok(lean_box(0));
66}
67#ifdef __cplusplus
68}
69#endif
70