1// Lean compiler output
2// Module: Lake.CLI
3// Imports: Init Lake.CLI.Main
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_CLI_Main(uint8_t builtin, lean_object*);
18static bool _G_initialized = false;
19LEAN_EXPORT lean_object* initialize_Lake_CLI(uint8_t builtin, lean_object* w) {
20lean_object * res;
21if (_G_initialized) return lean_io_result_mk_ok(lean_box(0));
22_G_initialized = true;
23res = initialize_Init(builtin, lean_io_mk_world());
24if (lean_io_result_is_error(res)) return res;
25lean_dec_ref(res);
26res = initialize_Lake_CLI_Main(builtin, lean_io_mk_world());
27if (lean_io_result_is_error(res)) return res;
28lean_dec_ref(res);
29return lean_io_result_mk_ok(lean_box(0));
30}
31#ifdef __cplusplus
32}
33#endif
34