// Lean compiler output
// Module: Lake.Build.Info
// Imports: Lake.Config.LeanExe Lake.Config.ExternLib Lake.Config.InputFile Lake.Build.Facets
#include <lean/lean.h>
#if defined(__clang__)
#pragma clang diagnostic ignored "-Wunused-parameter"
#pragma clang diagnostic ignored "-Wunused-label"
#elif defined(__GNUC__) && !defined(__CLANG__)
#pragma GCC diagnostic ignored "-Wunused-parameter"
#pragma GCC diagnostic ignored "-Wunused-label"
#pragma GCC diagnostic ignored "-Wunused-but-set-variable"
#endif
#ifdef __cplusplus
extern "C" {
#endif
LEAN_EXPORT lean_object* l_Lake_ConfigTarget_key___rarg___boxed(lean_object*);
LEAN_EXPORT lean_object* l_Lake_Module_precompileImports(lean_object*);
extern lean_object* l_Lake_Module_coExportFacet;
LEAN_EXPORT lean_object* l_Lake_LeanLib_shared(lean_object*);
LEAN_EXPORT lean_object* l_Lake_LeanLib_modules(lean_object*);
static lean_object* l_Lake_Package_transDepsFacet___closed__1;
LEAN_EXPORT lean_object* l_Lake_Package_key___boxed(lean_object*);
LEAN_EXPORT lean_object* l_Lake_LeanLib_static(lean_object*);
extern lean_object* l_Lake_InputFile_keyword;
LEAN_EXPORT lean_object* l_Lake_Package_optBuildCache(lean_object*);
LEAN_EXPORT lean_object* l_Lake_Package_targetBuildKey___boxed(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lake_LeanLib_leanArts(lean_object*);
LEAN_EXPORT lean_object* l_Lake_Package_depsFacet;
LEAN_EXPORT lean_object* l_Lake_ConfigTarget_facetBuildKey___rarg___boxed(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lake_Package_targetKey(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lake_Package_buildKey(lean_object*);
LEAN_EXPORT lean_object* l_Lake_BuildInfo_key(lean_object*);
LEAN_EXPORT lean_object* l_Lake_Package_targetKey___boxed(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lake_Module_facetCore(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lake_instDataKindModule;
LEAN_EXPORT lean_object* l_Lake_Package_transDeps(lean_object*);
extern lean_object* l_Lake_ExternLib_sharedFacet;
LEAN_EXPORT lean_object* l_Lake_LeanLib_modulesFacet;
LEAN_EXPORT lean_object* l_Lake_BuildInfo_packageFacet(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lake_instDataKindPackage;
LEAN_EXPORT lean_object* l_Lake_Module_transImports(lean_object*);
static lean_object* l_Lake_Module_precompileImportsFacet___closed__1;
LEAN_EXPORT lean_object* l_Lake_BuildInfo_moduleFacet(lean_object*, lean_object*);
static lean_object* l_Lake_instDataKindPackage___closed__2;
LEAN_EXPORT lean_object* l_Lake_Module_c(lean_object*);
extern lean_object* l_Lake_Module_cFacet;
extern lean_object* l_Lake_ExternLib_dynlibFacet;
extern lean_object* l_Lake_Package_keyword;
LEAN_EXPORT lean_object* l_Lake_Module_oNoExport(lean_object*);
extern lean_object* l_Lake_Module_ileanFacet;
LEAN_EXPORT lean_object* l_Lake_BuildInfo_dynlibExternLib(lean_object*);
LEAN_EXPORT lean_object* l_Lake_BuildInfo_staticExternLib(lean_object*);
LEAN_EXPORT lean_object* l_Lake_Module_transImportsFacet;
static lean_object* l_Lake_instDataKindInputDir___closed__1;
extern lean_object* l_Lake_Module_depsFacet;
LEAN_EXPORT lean_object* l_Lake_Module_bc(lean_object*);
extern lean_object* l_Lake_LeanLib_extraDepFacet;
LEAN_EXPORT lean_object* l_Lake_Module_bco(lean_object*);
LEAN_EXPORT lean_object* l_Lake_Module_deps(lean_object*);
static lean_object* l_Lake_LeanLib_modulesFacet___closed__1;
LEAN_EXPORT lean_object* l_Lake_ExternLib_dynlibBuildKey(lean_object*);
LEAN_EXPORT lean_object* l_Lake_ConfigTarget_facetBuildKey___rarg(lean_object*, lean_object*);
extern lean_object* l_Lake_Package_gitHubReleaseFacet;
LEAN_EXPORT lean_object* l_Lake_Package_facet(lean_object*, lean_object*);
extern lean_object* l_Lake_Module_coNoExportFacet;
LEAN_EXPORT lean_object* l_Lake_Module_facetBuildKey(lean_object*, lean_object*);
static lean_object* l_Lake_Module_transImportsFacet___closed__2;
LEAN_EXPORT lean_object* l_Lake_LeanExe_exeBuildKey(lean_object*);
LEAN_EXPORT lean_object* l_Lake_Module_facet(lean_object*, lean_object*);
static lean_object* l_Lake_instDataKindInputDir___closed__2;
LEAN_EXPORT lean_object* l_Lake_Package_buildKey___boxed(lean_object*);
extern lean_object* l_Lake_LeanExe_exeFacet;
LEAN_EXPORT lean_object* l_Lake_BuildInfo_sharedExternLib(lean_object*);
LEAN_EXPORT lean_object* l_Lake_ConfigTarget_key(lean_object*);
static lean_object* l_Lake_Package_transDepsFacet___closed__2;
LEAN_EXPORT lean_object* l_Lake_Package_deps(lean_object*);
LEAN_EXPORT lean_object* l_Lake_ExternLib_dynlib(lean_object*);
static lean_object* l_Lake_instDataKindExternLib___closed__2;
LEAN_EXPORT lean_object* l_Lake_Module_oExport(lean_object*);
static lean_object* l_Lake_instDataKindModule___closed__1;
LEAN_EXPORT lean_object* l_Lake_ConfigTarget_buildKey___boxed(lean_object*);
extern lean_object* l_Lake_LeanLib_leanArtsFacet;
extern lean_object* l_Lake_Module_leanArtsFacet;
LEAN_EXPORT lean_object* l_Lake_Module_coNoExport(lean_object*);
LEAN_EXPORT lean_object* l_Lake_Package_optGitHubRelease(lean_object*);
LEAN_EXPORT lean_object* l_Lake_Module_leanArts(lean_object*);
LEAN_EXPORT lean_object* l_Lake_instDataKindLeanLib;
LEAN_EXPORT lean_object* l_Lake_Module_coExport(lean_object*);
static lean_object* l_Lake_Module_importsFacet___closed__1;
LEAN_EXPORT lean_object* l_Lake_Package_transDepsFacet;
LEAN_EXPORT lean_object* l_Lake_ExternLib_sharedBuildKey(lean_object*);
LEAN_EXPORT lean_object* l_Lake_InputDir_default(lean_object*);
LEAN_EXPORT lean_object* l_Lake_Module_key___boxed(lean_object*);
static lean_object* l_Lake_instDataKindLeanLib___closed__2;
LEAN_EXPORT lean_object* l_Lake_Package_extraDep(lean_object*);
LEAN_EXPORT lean_object* l_Lake_ExternLib_shared(lean_object*);
extern lean_object* l_Lake_Module_bcFacet;
lean_object* l_Lean_Name_append(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lake_Module_co(lean_object*);
static lean_object* l_Lake_Module_precompileImportsFacet___closed__2;
static lean_object* l_Lake_instDataKindPackage___closed__1;
LEAN_EXPORT lean_object* l_Lake_LeanExe_facetCore(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lake_Module_facetBuildKey___boxed(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lake_Package_buildCache(lean_object*);
lean_object* l_Lake_BuildKey_toString(lean_object*);
LEAN_EXPORT lean_object* l_Lake_BuildInfo_libraryFacet(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lake_Package_targetBuildKey(lean_object*, lean_object*);
lean_object* l_Lean_Name_str___override(lean_object*, lean_object*);
static lean_object* l_Lake_instDataKindInputFile___closed__1;
LEAN_EXPORT lean_object* l_Lake_Module_buildKey(lean_object*);
LEAN_EXPORT lean_object* l_Lake_instToStringBuildInfo(lean_object*);
extern lean_object* l_Lake_LeanLib_staticFacet;
LEAN_EXPORT lean_object* l_Lake_Package_target(lean_object*, lean_object*);
static lean_object* l_Lake_instDataKindLeanExe___closed__2;
extern lean_object* l_Lake_Package_buildCacheFacet;
static lean_object* l_Lake_instDataKindModule___closed__2;
LEAN_EXPORT lean_object* l_Lake_LeanLib_facet(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lake_ConfigTarget_buildKey___rarg(lean_object*);
LEAN_EXPORT lean_object* l_Lake_Package_facetBuildKey___boxed(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lake_Package_facetBuildKey(lean_object*, lean_object*);
static lean_object* l_Lake_Module_transImportsFacet___closed__1;
extern lean_object* l_Lake_LeanLib_staticExportFacet;
LEAN_EXPORT lean_object* l_Lake_Module_o(lean_object*);
LEAN_EXPORT lean_object* l_Lake_InputDir_facetCore(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lake_instDataKindExternLib;
static lean_object* l_Lake_Module_importsFacet___closed__2;
LEAN_EXPORT lean_object* l_Lake_BuildInfo_leanExe(lean_object*);
LEAN_EXPORT lean_object* l_Lake_Package_reservoirBarrel(lean_object*);
LEAN_EXPORT lean_object* l_Lake_ConfigTarget_buildKey___rarg___boxed(lean_object*);
extern lean_object* l_Lake_Package_extraDepFacet;
LEAN_EXPORT lean_object* l_Lake_LeanLib_staticExport(lean_object*);
static lean_object* l_Lake_Package_depsFacet___closed__2;
static lean_object* l_Lake_instDataKindLeanLib___closed__1;
static lean_object* l_Lake_Module_dynlibFacet___closed__1;
extern lean_object* l_Lake_InputFile_defaultFacet;
LEAN_EXPORT lean_object* l_Lake_Module_ilean(lean_object*);
LEAN_EXPORT lean_object* l_Lake_instDataKindInputDir;
static lean_object* l_Lake_instDataKindInputFile___closed__2;
extern lean_object* l_Lake_Package_optGitHubReleaseFacet;
LEAN_EXPORT lean_object* l_Lake_LeanLib_facetCore(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lake_instDataKindInputFile;
lean_object* l_Lean_Name_mkStr2(lean_object*, lean_object*);
extern lean_object* l_Lake_InputDir_defaultFacet;
LEAN_EXPORT lean_object* l_Lake_Module_imports(lean_object*);
LEAN_EXPORT lean_object* l_Lake_Module_buildKey___boxed(lean_object*);
LEAN_EXPORT lean_object* l_Lake_ExternLib_staticBuildKey___boxed(lean_object*);
extern lean_object* l_Lake_Module_coFacet;
extern lean_object* l_Lake_Module_bcoFacet;
LEAN_EXPORT lean_object* l_Lake_ConfigTarget_key___rarg(lean_object*);
extern lean_object* l_Lake_Module_oExportFacet;
LEAN_EXPORT lean_object* l_Lake_Package_gitHubRelease(lean_object*);
LEAN_EXPORT lean_object* l_Lake_ConfigTarget_facetBuildKey(lean_object*);
LEAN_EXPORT lean_object* l_Lake_Module_importsFacet;
LEAN_EXPORT lean_object* l_Lake_ExternLib_staticBuildKey(lean_object*);
LEAN_EXPORT lean_object* l_Lake_InputFile_facetCore(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lake_Module_dynlib(lean_object*);
LEAN_EXPORT lean_object* l_Lake_LeanLib_extraDep(lean_object*);
LEAN_EXPORT lean_object* l_Lake_ConfigTarget_key___boxed(lean_object*);
LEAN_EXPORT lean_object* l_Lake_Module_precompileImportsFacet;
LEAN_EXPORT lean_object* l_Lake_InputFile_default(lean_object*);
extern lean_object* l_Lake_ExternLib_staticFacet;
extern lean_object* l_Lake_Module_oNoExportFacet;
LEAN_EXPORT lean_object* l_Lake_Package_key(lean_object*);
LEAN_EXPORT lean_object* l_Lake_ExternLib_static(lean_object*);
extern lean_object* l_Lake_Module_keyword;
extern lean_object* l_Lake_Package_reservoirBarrelFacet;
extern lean_object* l_Lake_Package_optBuildCacheFacet;
LEAN_EXPORT lean_object* l_Lake_ExternLib_sharedBuildKey___boxed(lean_object*);
static lean_object* l_Lake_Package_depsFacet___closed__1;
LEAN_EXPORT lean_object* l_Lake_Module_dynlibFacet;
LEAN_EXPORT lean_object* l_Lake_instDataKindLeanExe;
LEAN_EXPORT lean_object* l_Lake_LeanExe_exeBuildKey___boxed(lean_object*);
static lean_object* l_Lake_Module_dynlibFacet___closed__2;
LEAN_EXPORT lean_object* l_Lake_ExternLib_dynlibBuildKey___boxed(lean_object*);
static lean_object* l_Lake_instDataKindExternLib___closed__1;
LEAN_EXPORT lean_object* l_Lake_ConfigTarget_buildKey(lean_object*);
LEAN_EXPORT lean_object* l_Lake_Package_optReservoirBarrel(lean_object*);
LEAN_EXPORT lean_object* l_Lake_Module_key(lean_object*);
extern lean_object* l_Lake_InputDir_keyword;
extern lean_object* l_Lake_LeanExe_keyword;
static lean_object* l_Lake_LeanLib_modulesFacet___closed__2;
LEAN_EXPORT lean_object* l_Lake_ConfigTarget_facetBuildKey___boxed(lean_object*);
extern lean_object* l_Lake_LeanLib_sharedFacet;
LEAN_EXPORT lean_object* l_Lake_LeanExe_exe(lean_object*);
static lean_object* l_Lake_instDataKindLeanExe___closed__1;
extern lean_object* l_Lake_Module_oleanFacet;
extern lean_object* l_Lake_Module_oFacet;
extern lean_object* l_Lake_ExternLib_keyword;
LEAN_EXPORT lean_object* l_Lake_Package_facetCore(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lake_ExternLib_facetCore(lean_object*, lean_object*);
LEAN_EXPORT lean_object* l_Lake_Module_olean(lean_object*);
extern lean_object* l_Lake_Package_optReservoirBarrelFacet;
LEAN_EXPORT lean_object* l_Lake_Module_key(lean_object* x_1) {
_start:
{
lean_object* x_2; lean_object* x_3; 
x_2 = lean_ctor_get(x_1, 2);
lean_inc(x_2);
x_3 = lean_alloc_ctor(0, 1, 0);
lean_ctor_set(x_3, 0, x_2);
return x_3;
}
}
LEAN_EXPORT lean_object* l_Lake_Module_key___boxed(lean_object* x_1) {
_start:
{
lean_object* x_2; 
x_2 = l_Lake_Module_key(x_1);
lean_dec(x_1);
return x_2;
}
}
LEAN_EXPORT lean_object* l_Lake_Module_buildKey(lean_object* x_1) {
_start:
{
lean_object* x_2; lean_object* x_3; 
x_2 = lean_ctor_get(x_1, 2);
lean_inc(x_2);
x_3 = lean_alloc_ctor(0, 1, 0);
lean_ctor_set(x_3, 0, x_2);
return x_3;
}
}
LEAN_EXPORT lean_object* l_Lake_Module_buildKey___boxed(lean_object* x_1) {
_start:
{
lean_object* x_2; 
x_2 = l_Lake_Module_buildKey(x_1);
lean_dec(x_1);
return x_2;
}
}
LEAN_EXPORT lean_object* l_Lake_Module_facetBuildKey(lean_object* x_1, lean_object* x_2) {
_start:
{
lean_object* x_3; lean_object* x_4; lean_object* x_5; 
x_3 = lean_ctor_get(x_2, 2);
lean_inc(x_3);
x_4 = lean_alloc_ctor(0, 1, 0);
lean_ctor_set(x_4, 0, x_3);
x_5 = lean_alloc_ctor(3, 2, 0);
lean_ctor_set(x_5, 0, x_4);
lean_ctor_set(x_5, 1, x_1);
return x_5;
}
}
LEAN_EXPORT lean_object* l_Lake_Module_facetBuildKey___boxed(lean_object* x_1, lean_object* x_2) {
_start:
{
lean_object* x_3; 
x_3 = l_Lake_Module_facetBuildKey(x_1, x_2);
lean_dec(x_2);
return x_3;
}
}
LEAN_EXPORT lean_object* l_Lake_Package_key(lean_object* x_1) {
_start:
{
lean_object* x_2; lean_object* x_3; 
x_2 = lean_ctor_get(x_1, 0);
lean_inc(x_2);
x_3 = lean_alloc_ctor(1, 1, 0);
lean_ctor_set(x_3, 0, x_2);
return x_3;
}
}
LEAN_EXPORT lean_object* l_Lake_Package_key___boxed(lean_object* x_1) {
_start:
{
lean_object* x_2; 
x_2 = l_Lake_Package_key(x_1);
lean_dec(x_1);
return x_2;
}
}
LEAN_EXPORT lean_object* l_Lake_Package_buildKey(lean_object* x_1) {
_start:
{
lean_object* x_2; lean_object* x_3; 
x_2 = lean_ctor_get(x_1, 0);
lean_inc(x_2);
x_3 = lean_alloc_ctor(1, 1, 0);
lean_ctor_set(x_3, 0, x_2);
return x_3;
}
}
LEAN_EXPORT lean_object* l_Lake_Package_buildKey___boxed(lean_object* x_1) {
_start:
{
lean_object* x_2; 
x_2 = l_Lake_Package_buildKey(x_1);
lean_dec(x_1);
return x_2;
}
}
LEAN_EXPORT lean_object* l_Lake_Package_facetBuildKey(lean_object* x_1, lean_object* x_2) {
_start:
{
lean_object* x_3; lean_object* x_4; lean_object* x_5; 
x_3 = lean_ctor_get(x_2, 0);
lean_inc(x_3);
x_4 = lean_alloc_ctor(1, 1, 0);
lean_ctor_set(x_4, 0, x_3);
x_5 = lean_alloc_ctor(3, 2, 0);
lean_ctor_set(x_5, 0, x_4);
lean_ctor_set(x_5, 1, x_1);
return x_5;
}
}
LEAN_EXPORT lean_object* l_Lake_Package_facetBuildKey___boxed(lean_object* x_1, lean_object* x_2) {
_start:
{
lean_object* x_3; 
x_3 = l_Lake_Package_facetBuildKey(x_1, x_2);
lean_dec(x_2);
return x_3;
}
}
LEAN_EXPORT lean_object* l_Lake_Package_targetKey(lean_object* x_1, lean_object* x_2) {
_start:
{
lean_object* x_3; lean_object* x_4; 
x_3 = lean_ctor_get(x_2, 0);
lean_inc(x_3);
x_4 = lean_alloc_ctor(2, 2, 0);
lean_ctor_set(x_4, 0, x_3);
lean_ctor_set(x_4, 1, x_1);
return x_4;
}
}
LEAN_EXPORT lean_object* l_Lake_Package_targetKey___boxed(lean_object* x_1, lean_object* x_2) {
_start:
{
lean_object* x_3; 
x_3 = l_Lake_Package_targetKey(x_1, x_2);
lean_dec(x_2);
return x_3;
}
}
LEAN_EXPORT lean_object* l_Lake_Package_targetBuildKey(lean_object* x_1, lean_object* x_2) {
_start:
{
lean_object* x_3; lean_object* x_4; 
x_3 = lean_ctor_get(x_2, 0);
lean_inc(x_3);
x_4 = lean_alloc_ctor(2, 2, 0);
lean_ctor_set(x_4, 0, x_3);
lean_ctor_set(x_4, 1, x_1);
return x_4;
}
}
LEAN_EXPORT lean_object* l_Lake_Package_targetBuildKey___boxed(lean_object* x_1, lean_object* x_2) {
_start:
{
lean_object* x_3; 
x_3 = l_Lake_Package_targetBuildKey(x_1, x_2);
lean_dec(x_2);
return x_3;
}
}
LEAN_EXPORT lean_object* l_Lake_ConfigTarget_key___rarg(lean_object* x_1) {
_start:
{
lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; 
x_2 = lean_ctor_get(x_1, 0);
x_3 = lean_ctor_get(x_1, 1);
x_4 = lean_ctor_get(x_2, 0);
lean_inc(x_3);
lean_inc(x_4);
x_5 = lean_alloc_ctor(2, 2, 0);
lean_ctor_set(x_5, 0, x_4);
lean_ctor_set(x_5, 1, x_3);
return x_5;
}
}
LEAN_EXPORT lean_object* l_Lake_ConfigTarget_key(lean_object* x_1) {
_start:
{
lean_object* x_2; 
x_2 = lean_alloc_closure((void*)(l_Lake_ConfigTarget_key___rarg___boxed), 1, 0);
return x_2;
}
}
LEAN_EXPORT lean_object* l_Lake_ConfigTarget_key___rarg___boxed(lean_object* x_1) {
_start:
{
lean_object* x_2; 
x_2 = l_Lake_ConfigTarget_key___rarg(x_1);
lean_dec(x_1);
return x_2;
}
}
LEAN_EXPORT lean_object* l_Lake_ConfigTarget_key___boxed(lean_object* x_1) {
_start:
{
lean_object* x_2; 
x_2 = l_Lake_ConfigTarget_key(x_1);
lean_dec(x_1);
return x_2;
}
}
LEAN_EXPORT lean_object* l_Lake_ConfigTarget_buildKey___rarg(lean_object* x_1) {
_start:
{
lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; 
x_2 = lean_ctor_get(x_1, 0);
x_3 = lean_ctor_get(x_1, 1);
x_4 = lean_ctor_get(x_2, 0);
lean_inc(x_3);
lean_inc(x_4);
x_5 = lean_alloc_ctor(2, 2, 0);
lean_ctor_set(x_5, 0, x_4);
lean_ctor_set(x_5, 1, x_3);
return x_5;
}
}
LEAN_EXPORT lean_object* l_Lake_ConfigTarget_buildKey(lean_object* x_1) {
_start:
{
lean_object* x_2; 
x_2 = lean_alloc_closure((void*)(l_Lake_ConfigTarget_buildKey___rarg___boxed), 1, 0);
return x_2;
}
}
LEAN_EXPORT lean_object* l_Lake_ConfigTarget_buildKey___rarg___boxed(lean_object* x_1) {
_start:
{
lean_object* x_2; 
x_2 = l_Lake_ConfigTarget_buildKey___rarg(x_1);
lean_dec(x_1);
return x_2;
}
}
LEAN_EXPORT lean_object* l_Lake_ConfigTarget_buildKey___boxed(lean_object* x_1) {
_start:
{
lean_object* x_2; 
x_2 = l_Lake_ConfigTarget_buildKey(x_1);
lean_dec(x_1);
return x_2;
}
}
LEAN_EXPORT lean_object* l_Lake_ConfigTarget_facetBuildKey___rarg(lean_object* x_1, lean_object* x_2) {
_start:
{
lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6; lean_object* x_7; 
x_3 = lean_ctor_get(x_1, 0);
x_4 = lean_ctor_get(x_1, 1);
x_5 = lean_ctor_get(x_3, 0);
lean_inc(x_4);
lean_inc(x_5);
x_6 = lean_alloc_ctor(2, 2, 0);
lean_ctor_set(x_6, 0, x_5);
lean_ctor_set(x_6, 1, x_4);
x_7 = lean_alloc_ctor(3, 2, 0);
lean_ctor_set(x_7, 0, x_6);
lean_ctor_set(x_7, 1, x_2);
return x_7;
}
}
LEAN_EXPORT lean_object* l_Lake_ConfigTarget_facetBuildKey(lean_object* x_1) {
_start:
{
lean_object* x_2; 
x_2 = lean_alloc_closure((void*)(l_Lake_ConfigTarget_facetBuildKey___rarg___boxed), 2, 0);
return x_2;
}
}
LEAN_EXPORT lean_object* l_Lake_ConfigTarget_facetBuildKey___rarg___boxed(lean_object* x_1, lean_object* x_2) {
_start:
{
lean_object* x_3; 
x_3 = l_Lake_ConfigTarget_facetBuildKey___rarg(x_1, x_2);
lean_dec(x_1);
return x_3;
}
}
LEAN_EXPORT lean_object* l_Lake_ConfigTarget_facetBuildKey___boxed(lean_object* x_1) {
_start:
{
lean_object* x_2; 
x_2 = l_Lake_ConfigTarget_facetBuildKey(x_1);
lean_dec(x_1);
return x_2;
}
}
LEAN_EXPORT lean_object* l_Lake_LeanExe_exeBuildKey(lean_object* x_1) {
_start:
{
lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6; lean_object* x_7; 
x_2 = lean_ctor_get(x_1, 0);
x_3 = lean_ctor_get(x_1, 1);
x_4 = lean_ctor_get(x_2, 0);
lean_inc(x_3);
lean_inc(x_4);
x_5 = lean_alloc_ctor(2, 2, 0);
lean_ctor_set(x_5, 0, x_4);
lean_ctor_set(x_5, 1, x_3);
x_6 = l_Lake_LeanExe_exeFacet;
x_7 = lean_alloc_ctor(3, 2, 0);
lean_ctor_set(x_7, 0, x_5);
lean_ctor_set(x_7, 1, x_6);
return x_7;
}
}
LEAN_EXPORT lean_object* l_Lake_LeanExe_exeBuildKey___boxed(lean_object* x_1) {
_start:
{
lean_object* x_2; 
x_2 = l_Lake_LeanExe_exeBuildKey(x_1);
lean_dec(x_1);
return x_2;
}
}
LEAN_EXPORT lean_object* l_Lake_ExternLib_staticBuildKey(lean_object* x_1) {
_start:
{
lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6; lean_object* x_7; 
x_2 = lean_ctor_get(x_1, 0);
x_3 = lean_ctor_get(x_1, 1);
x_4 = lean_ctor_get(x_2, 0);
lean_inc(x_3);
lean_inc(x_4);
x_5 = lean_alloc_ctor(2, 2, 0);
lean_ctor_set(x_5, 0, x_4);
lean_ctor_set(x_5, 1, x_3);
x_6 = l_Lake_ExternLib_staticFacet;
x_7 = lean_alloc_ctor(3, 2, 0);
lean_ctor_set(x_7, 0, x_5);
lean_ctor_set(x_7, 1, x_6);
return x_7;
}
}
LEAN_EXPORT lean_object* l_Lake_ExternLib_staticBuildKey___boxed(lean_object* x_1) {
_start:
{
lean_object* x_2; 
x_2 = l_Lake_ExternLib_staticBuildKey(x_1);
lean_dec(x_1);
return x_2;
}
}
LEAN_EXPORT lean_object* l_Lake_ExternLib_sharedBuildKey(lean_object* x_1) {
_start:
{
lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6; lean_object* x_7; 
x_2 = lean_ctor_get(x_1, 0);
x_3 = lean_ctor_get(x_1, 1);
x_4 = lean_ctor_get(x_2, 0);
lean_inc(x_3);
lean_inc(x_4);
x_5 = lean_alloc_ctor(2, 2, 0);
lean_ctor_set(x_5, 0, x_4);
lean_ctor_set(x_5, 1, x_3);
x_6 = l_Lake_ExternLib_sharedFacet;
x_7 = lean_alloc_ctor(3, 2, 0);
lean_ctor_set(x_7, 0, x_5);
lean_ctor_set(x_7, 1, x_6);
return x_7;
}
}
LEAN_EXPORT lean_object* l_Lake_ExternLib_sharedBuildKey___boxed(lean_object* x_1) {
_start:
{
lean_object* x_2; 
x_2 = l_Lake_ExternLib_sharedBuildKey(x_1);
lean_dec(x_1);
return x_2;
}
}
LEAN_EXPORT lean_object* l_Lake_ExternLib_dynlibBuildKey(lean_object* x_1) {
_start:
{
lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6; lean_object* x_7; 
x_2 = lean_ctor_get(x_1, 0);
x_3 = lean_ctor_get(x_1, 1);
x_4 = lean_ctor_get(x_2, 0);
lean_inc(x_3);
lean_inc(x_4);
x_5 = lean_alloc_ctor(2, 2, 0);
lean_ctor_set(x_5, 0, x_4);
lean_ctor_set(x_5, 1, x_3);
x_6 = l_Lake_ExternLib_dynlibFacet;
x_7 = lean_alloc_ctor(3, 2, 0);
lean_ctor_set(x_7, 0, x_5);
lean_ctor_set(x_7, 1, x_6);
return x_7;
}
}
LEAN_EXPORT lean_object* l_Lake_ExternLib_dynlibBuildKey___boxed(lean_object* x_1) {
_start:
{
lean_object* x_2; 
x_2 = l_Lake_ExternLib_dynlibBuildKey(x_1);
lean_dec(x_1);
return x_2;
}
}
LEAN_EXPORT lean_object* l_Lake_BuildInfo_key(lean_object* x_1) {
_start:
{
if (lean_obj_tag(x_1) == 0)
{
uint8_t x_2; 
x_2 = !lean_is_exclusive(x_1);
if (x_2 == 0)
{
lean_object* x_3; lean_object* x_4; 
x_3 = lean_ctor_get(x_1, 0);
x_4 = lean_ctor_get(x_3, 0);
lean_inc(x_4);
lean_dec(x_3);
lean_ctor_set_tag(x_1, 2);
lean_ctor_set(x_1, 0, x_4);
return x_1;
}
else
{
lean_object* x_5; lean_object* x_6; lean_object* x_7; lean_object* x_8; 
x_5 = lean_ctor_get(x_1, 0);
x_6 = lean_ctor_get(x_1, 1);
lean_inc(x_6);
lean_inc(x_5);
lean_dec(x_1);
x_7 = lean_ctor_get(x_5, 0);
lean_inc(x_7);
lean_dec(x_5);
x_8 = lean_alloc_ctor(2, 2, 0);
lean_ctor_set(x_8, 0, x_7);
lean_ctor_set(x_8, 1, x_6);
return x_8;
}
}
else
{
lean_object* x_9; lean_object* x_10; lean_object* x_11; 
x_9 = lean_ctor_get(x_1, 0);
lean_inc(x_9);
x_10 = lean_ctor_get(x_1, 3);
lean_inc(x_10);
lean_dec(x_1);
x_11 = lean_alloc_ctor(3, 2, 0);
lean_ctor_set(x_11, 0, x_9);
lean_ctor_set(x_11, 1, x_10);
return x_11;
}
}
}
LEAN_EXPORT lean_object* l_Lake_instToStringBuildInfo(lean_object* x_1) {
_start:
{
lean_object* x_2; lean_object* x_3; 
x_2 = l_Lake_BuildInfo_key(x_1);
x_3 = l_Lake_BuildKey_toString(x_2);
return x_3;
}
}
static lean_object* _init_l_Lake_instDataKindModule___closed__1() {
_start:
{
lean_object* x_1; 
x_1 = lean_mk_string_unchecked("module", 6, 6);
return x_1;
}
}
static lean_object* _init_l_Lake_instDataKindModule___closed__2() {
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3; 
x_1 = lean_box(0);
x_2 = l_Lake_instDataKindModule___closed__1;
x_3 = l_Lean_Name_str___override(x_1, x_2);
return x_3;
}
}
static lean_object* _init_l_Lake_instDataKindModule() {
_start:
{
lean_object* x_1; 
x_1 = l_Lake_instDataKindModule___closed__2;
return x_1;
}
}
static lean_object* _init_l_Lake_instDataKindPackage___closed__1() {
_start:
{
lean_object* x_1; 
x_1 = lean_mk_string_unchecked("package", 7, 7);
return x_1;
}
}
static lean_object* _init_l_Lake_instDataKindPackage___closed__2() {
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3; 
x_1 = lean_box(0);
x_2 = l_Lake_instDataKindPackage___closed__1;
x_3 = l_Lean_Name_str___override(x_1, x_2);
return x_3;
}
}
static lean_object* _init_l_Lake_instDataKindPackage() {
_start:
{
lean_object* x_1; 
x_1 = l_Lake_instDataKindPackage___closed__2;
return x_1;
}
}
static lean_object* _init_l_Lake_instDataKindLeanLib___closed__1() {
_start:
{
lean_object* x_1; 
x_1 = lean_mk_string_unchecked("lean_lib", 8, 8);
return x_1;
}
}
static lean_object* _init_l_Lake_instDataKindLeanLib___closed__2() {
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3; 
x_1 = lean_box(0);
x_2 = l_Lake_instDataKindLeanLib___closed__1;
x_3 = l_Lean_Name_str___override(x_1, x_2);
return x_3;
}
}
static lean_object* _init_l_Lake_instDataKindLeanLib() {
_start:
{
lean_object* x_1; 
x_1 = l_Lake_instDataKindLeanLib___closed__2;
return x_1;
}
}
static lean_object* _init_l_Lake_instDataKindLeanExe___closed__1() {
_start:
{
lean_object* x_1; 
x_1 = lean_mk_string_unchecked("lean_exe", 8, 8);
return x_1;
}
}
static lean_object* _init_l_Lake_instDataKindLeanExe___closed__2() {
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3; 
x_1 = lean_box(0);
x_2 = l_Lake_instDataKindLeanExe___closed__1;
x_3 = l_Lean_Name_str___override(x_1, x_2);
return x_3;
}
}
static lean_object* _init_l_Lake_instDataKindLeanExe() {
_start:
{
lean_object* x_1; 
x_1 = l_Lake_instDataKindLeanExe___closed__2;
return x_1;
}
}
static lean_object* _init_l_Lake_instDataKindExternLib___closed__1() {
_start:
{
lean_object* x_1; 
x_1 = lean_mk_string_unchecked("extern_lib", 10, 10);
return x_1;
}
}
static lean_object* _init_l_Lake_instDataKindExternLib___closed__2() {
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3; 
x_1 = lean_box(0);
x_2 = l_Lake_instDataKindExternLib___closed__1;
x_3 = l_Lean_Name_str___override(x_1, x_2);
return x_3;
}
}
static lean_object* _init_l_Lake_instDataKindExternLib() {
_start:
{
lean_object* x_1; 
x_1 = l_Lake_instDataKindExternLib___closed__2;
return x_1;
}
}
static lean_object* _init_l_Lake_instDataKindInputFile___closed__1() {
_start:
{
lean_object* x_1; 
x_1 = lean_mk_string_unchecked("input_file", 10, 10);
return x_1;
}
}
static lean_object* _init_l_Lake_instDataKindInputFile___closed__2() {
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3; 
x_1 = lean_box(0);
x_2 = l_Lake_instDataKindInputFile___closed__1;
x_3 = l_Lean_Name_str___override(x_1, x_2);
return x_3;
}
}
static lean_object* _init_l_Lake_instDataKindInputFile() {
_start:
{
lean_object* x_1; 
x_1 = l_Lake_instDataKindInputFile___closed__2;
return x_1;
}
}
static lean_object* _init_l_Lake_instDataKindInputDir___closed__1() {
_start:
{
lean_object* x_1; 
x_1 = lean_mk_string_unchecked("input_dir", 9, 9);
return x_1;
}
}
static lean_object* _init_l_Lake_instDataKindInputDir___closed__2() {
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3; 
x_1 = lean_box(0);
x_2 = l_Lake_instDataKindInputDir___closed__1;
x_3 = l_Lean_Name_str___override(x_1, x_2);
return x_3;
}
}
static lean_object* _init_l_Lake_instDataKindInputDir() {
_start:
{
lean_object* x_1; 
x_1 = l_Lake_instDataKindInputDir___closed__2;
return x_1;
}
}
static lean_object* _init_l_Lake_Module_importsFacet___closed__1() {
_start:
{
lean_object* x_1; 
x_1 = lean_mk_string_unchecked("imports", 7, 7);
return x_1;
}
}
static lean_object* _init_l_Lake_Module_importsFacet___closed__2() {
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3; 
x_1 = l_Lake_instDataKindModule___closed__1;
x_2 = l_Lake_Module_importsFacet___closed__1;
x_3 = l_Lean_Name_mkStr2(x_1, x_2);
return x_3;
}
}
static lean_object* _init_l_Lake_Module_importsFacet() {
_start:
{
lean_object* x_1; 
x_1 = l_Lake_Module_importsFacet___closed__2;
return x_1;
}
}
static lean_object* _init_l_Lake_Module_transImportsFacet___closed__1() {
_start:
{
lean_object* x_1; 
x_1 = lean_mk_string_unchecked("transImports", 12, 12);
return x_1;
}
}
static lean_object* _init_l_Lake_Module_transImportsFacet___closed__2() {
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3; 
x_1 = l_Lake_instDataKindModule___closed__1;
x_2 = l_Lake_Module_transImportsFacet___closed__1;
x_3 = l_Lean_Name_mkStr2(x_1, x_2);
return x_3;
}
}
static lean_object* _init_l_Lake_Module_transImportsFacet() {
_start:
{
lean_object* x_1; 
x_1 = l_Lake_Module_transImportsFacet___closed__2;
return x_1;
}
}
static lean_object* _init_l_Lake_Module_precompileImportsFacet___closed__1() {
_start:
{
lean_object* x_1; 
x_1 = lean_mk_string_unchecked("precompileImports", 17, 17);
return x_1;
}
}
static lean_object* _init_l_Lake_Module_precompileImportsFacet___closed__2() {
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3; 
x_1 = l_Lake_instDataKindModule___closed__1;
x_2 = l_Lake_Module_precompileImportsFacet___closed__1;
x_3 = l_Lean_Name_mkStr2(x_1, x_2);
return x_3;
}
}
static lean_object* _init_l_Lake_Module_precompileImportsFacet() {
_start:
{
lean_object* x_1; 
x_1 = l_Lake_Module_precompileImportsFacet___closed__2;
return x_1;
}
}
static lean_object* _init_l_Lake_Module_dynlibFacet___closed__1() {
_start:
{
lean_object* x_1; 
x_1 = lean_mk_string_unchecked("dynlib", 6, 6);
return x_1;
}
}
static lean_object* _init_l_Lake_Module_dynlibFacet___closed__2() {
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3; 
x_1 = l_Lake_instDataKindModule___closed__1;
x_2 = l_Lake_Module_dynlibFacet___closed__1;
x_3 = l_Lean_Name_mkStr2(x_1, x_2);
return x_3;
}
}
static lean_object* _init_l_Lake_Module_dynlibFacet() {
_start:
{
lean_object* x_1; 
x_1 = l_Lake_Module_dynlibFacet___closed__2;
return x_1;
}
}
static lean_object* _init_l_Lake_LeanLib_modulesFacet___closed__1() {
_start:
{
lean_object* x_1; 
x_1 = lean_mk_string_unchecked("modules", 7, 7);
return x_1;
}
}
static lean_object* _init_l_Lake_LeanLib_modulesFacet___closed__2() {
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3; 
x_1 = l_Lake_instDataKindLeanLib___closed__1;
x_2 = l_Lake_LeanLib_modulesFacet___closed__1;
x_3 = l_Lean_Name_mkStr2(x_1, x_2);
return x_3;
}
}
static lean_object* _init_l_Lake_LeanLib_modulesFacet() {
_start:
{
lean_object* x_1; 
x_1 = l_Lake_LeanLib_modulesFacet___closed__2;
return x_1;
}
}
static lean_object* _init_l_Lake_Package_depsFacet___closed__1() {
_start:
{
lean_object* x_1; 
x_1 = lean_mk_string_unchecked("deps", 4, 4);
return x_1;
}
}
static lean_object* _init_l_Lake_Package_depsFacet___closed__2() {
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3; 
x_1 = l_Lake_instDataKindPackage___closed__1;
x_2 = l_Lake_Package_depsFacet___closed__1;
x_3 = l_Lean_Name_mkStr2(x_1, x_2);
return x_3;
}
}
static lean_object* _init_l_Lake_Package_depsFacet() {
_start:
{
lean_object* x_1; 
x_1 = l_Lake_Package_depsFacet___closed__2;
return x_1;
}
}
static lean_object* _init_l_Lake_Package_transDepsFacet___closed__1() {
_start:
{
lean_object* x_1; 
x_1 = lean_mk_string_unchecked("transDeps", 9, 9);
return x_1;
}
}
static lean_object* _init_l_Lake_Package_transDepsFacet___closed__2() {
_start:
{
lean_object* x_1; lean_object* x_2; lean_object* x_3; 
x_1 = l_Lake_instDataKindPackage___closed__1;
x_2 = l_Lake_Package_transDepsFacet___closed__1;
x_3 = l_Lean_Name_mkStr2(x_1, x_2);
return x_3;
}
}
static lean_object* _init_l_Lake_Package_transDepsFacet() {
_start:
{
lean_object* x_1; 
x_1 = l_Lake_Package_transDepsFacet___closed__2;
return x_1;
}
}
LEAN_EXPORT lean_object* l_Lake_Module_facetCore(lean_object* x_1, lean_object* x_2) {
_start:
{
lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6; 
x_3 = lean_ctor_get(x_2, 2);
lean_inc(x_3);
x_4 = lean_alloc_ctor(0, 1, 0);
lean_ctor_set(x_4, 0, x_3);
x_5 = l_Lake_Module_keyword;
x_6 = lean_alloc_ctor(1, 4, 0);
lean_ctor_set(x_6, 0, x_4);
lean_ctor_set(x_6, 1, x_5);
lean_ctor_set(x_6, 2, x_2);
lean_ctor_set(x_6, 3, x_1);
return x_6;
}
}
LEAN_EXPORT lean_object* l_Lake_Module_facet(lean_object* x_1, lean_object* x_2) {
_start:
{
lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6; lean_object* x_7; 
x_3 = l_Lake_Module_keyword;
x_4 = l_Lean_Name_append(x_3, x_1);
x_5 = lean_ctor_get(x_2, 2);
lean_inc(x_5);
x_6 = lean_alloc_ctor(0, 1, 0);
lean_ctor_set(x_6, 0, x_5);
x_7 = lean_alloc_ctor(1, 4, 0);
lean_ctor_set(x_7, 0, x_6);
lean_ctor_set(x_7, 1, x_3);
lean_ctor_set(x_7, 2, x_2);
lean_ctor_set(x_7, 3, x_4);
return x_7;
}
}
LEAN_EXPORT lean_object* l_Lake_BuildInfo_moduleFacet(lean_object* x_1, lean_object* x_2) {
_start:
{
lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6; 
x_3 = lean_ctor_get(x_1, 2);
lean_inc(x_3);
x_4 = lean_alloc_ctor(0, 1, 0);
lean_ctor_set(x_4, 0, x_3);
x_5 = l_Lake_Module_keyword;
x_6 = lean_alloc_ctor(1, 4, 0);
lean_ctor_set(x_6, 0, x_4);
lean_ctor_set(x_6, 1, x_5);
lean_ctor_set(x_6, 2, x_1);
lean_ctor_set(x_6, 3, x_2);
return x_6;
}
}
LEAN_EXPORT lean_object* l_Lake_Module_imports(lean_object* x_1) {
_start:
{
lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6; 
x_2 = lean_ctor_get(x_1, 2);
lean_inc(x_2);
x_3 = lean_alloc_ctor(0, 1, 0);
lean_ctor_set(x_3, 0, x_2);
x_4 = l_Lake_Module_keyword;
x_5 = l_Lake_Module_importsFacet;
x_6 = lean_alloc_ctor(1, 4, 0);
lean_ctor_set(x_6, 0, x_3);
lean_ctor_set(x_6, 1, x_4);
lean_ctor_set(x_6, 2, x_1);
lean_ctor_set(x_6, 3, x_5);
return x_6;
}
}
LEAN_EXPORT lean_object* l_Lake_Module_transImports(lean_object* x_1) {
_start:
{
lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6; 
x_2 = lean_ctor_get(x_1, 2);
lean_inc(x_2);
x_3 = lean_alloc_ctor(0, 1, 0);
lean_ctor_set(x_3, 0, x_2);
x_4 = l_Lake_Module_keyword;
x_5 = l_Lake_Module_transImportsFacet;
x_6 = lean_alloc_ctor(1, 4, 0);
lean_ctor_set(x_6, 0, x_3);
lean_ctor_set(x_6, 1, x_4);
lean_ctor_set(x_6, 2, x_1);
lean_ctor_set(x_6, 3, x_5);
return x_6;
}
}
LEAN_EXPORT lean_object* l_Lake_Module_precompileImports(lean_object* x_1) {
_start:
{
lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6; 
x_2 = lean_ctor_get(x_1, 2);
lean_inc(x_2);
x_3 = lean_alloc_ctor(0, 1, 0);
lean_ctor_set(x_3, 0, x_2);
x_4 = l_Lake_Module_keyword;
x_5 = l_Lake_Module_precompileImportsFacet;
x_6 = lean_alloc_ctor(1, 4, 0);
lean_ctor_set(x_6, 0, x_3);
lean_ctor_set(x_6, 1, x_4);
lean_ctor_set(x_6, 2, x_1);
lean_ctor_set(x_6, 3, x_5);
return x_6;
}
}
LEAN_EXPORT lean_object* l_Lake_Module_deps(lean_object* x_1) {
_start:
{
lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6; 
x_2 = lean_ctor_get(x_1, 2);
lean_inc(x_2);
x_3 = lean_alloc_ctor(0, 1, 0);
lean_ctor_set(x_3, 0, x_2);
x_4 = l_Lake_Module_keyword;
x_5 = l_Lake_Module_depsFacet;
x_6 = lean_alloc_ctor(1, 4, 0);
lean_ctor_set(x_6, 0, x_3);
lean_ctor_set(x_6, 1, x_4);
lean_ctor_set(x_6, 2, x_1);
lean_ctor_set(x_6, 3, x_5);
return x_6;
}
}
LEAN_EXPORT lean_object* l_Lake_Module_leanArts(lean_object* x_1) {
_start:
{
lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6; 
x_2 = lean_ctor_get(x_1, 2);
lean_inc(x_2);
x_3 = lean_alloc_ctor(0, 1, 0);
lean_ctor_set(x_3, 0, x_2);
x_4 = l_Lake_Module_keyword;
x_5 = l_Lake_Module_leanArtsFacet;
x_6 = lean_alloc_ctor(1, 4, 0);
lean_ctor_set(x_6, 0, x_3);
lean_ctor_set(x_6, 1, x_4);
lean_ctor_set(x_6, 2, x_1);
lean_ctor_set(x_6, 3, x_5);
return x_6;
}
}
LEAN_EXPORT lean_object* l_Lake_Module_olean(lean_object* x_1) {
_start:
{
lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6; 
x_2 = lean_ctor_get(x_1, 2);
lean_inc(x_2);
x_3 = lean_alloc_ctor(0, 1, 0);
lean_ctor_set(x_3, 0, x_2);
x_4 = l_Lake_Module_keyword;
x_5 = l_Lake_Module_oleanFacet;
x_6 = lean_alloc_ctor(1, 4, 0);
lean_ctor_set(x_6, 0, x_3);
lean_ctor_set(x_6, 1, x_4);
lean_ctor_set(x_6, 2, x_1);
lean_ctor_set(x_6, 3, x_5);
return x_6;
}
}
LEAN_EXPORT lean_object* l_Lake_Module_ilean(lean_object* x_1) {
_start:
{
lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6; 
x_2 = lean_ctor_get(x_1, 2);
lean_inc(x_2);
x_3 = lean_alloc_ctor(0, 1, 0);
lean_ctor_set(x_3, 0, x_2);
x_4 = l_Lake_Module_keyword;
x_5 = l_Lake_Module_ileanFacet;
x_6 = lean_alloc_ctor(1, 4, 0);
lean_ctor_set(x_6, 0, x_3);
lean_ctor_set(x_6, 1, x_4);
lean_ctor_set(x_6, 2, x_1);
lean_ctor_set(x_6, 3, x_5);
return x_6;
}
}
LEAN_EXPORT lean_object* l_Lake_Module_c(lean_object* x_1) {
_start:
{
lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6; 
x_2 = lean_ctor_get(x_1, 2);
lean_inc(x_2);
x_3 = lean_alloc_ctor(0, 1, 0);
lean_ctor_set(x_3, 0, x_2);
x_4 = l_Lake_Module_keyword;
x_5 = l_Lake_Module_cFacet;
x_6 = lean_alloc_ctor(1, 4, 0);
lean_ctor_set(x_6, 0, x_3);
lean_ctor_set(x_6, 1, x_4);
lean_ctor_set(x_6, 2, x_1);
lean_ctor_set(x_6, 3, x_5);
return x_6;
}
}
LEAN_EXPORT lean_object* l_Lake_Module_bc(lean_object* x_1) {
_start:
{
lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6; 
x_2 = lean_ctor_get(x_1, 2);
lean_inc(x_2);
x_3 = lean_alloc_ctor(0, 1, 0);
lean_ctor_set(x_3, 0, x_2);
x_4 = l_Lake_Module_keyword;
x_5 = l_Lake_Module_bcFacet;
x_6 = lean_alloc_ctor(1, 4, 0);
lean_ctor_set(x_6, 0, x_3);
lean_ctor_set(x_6, 1, x_4);
lean_ctor_set(x_6, 2, x_1);
lean_ctor_set(x_6, 3, x_5);
return x_6;
}
}
LEAN_EXPORT lean_object* l_Lake_Module_o(lean_object* x_1) {
_start:
{
lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6; 
x_2 = lean_ctor_get(x_1, 2);
lean_inc(x_2);
x_3 = lean_alloc_ctor(0, 1, 0);
lean_ctor_set(x_3, 0, x_2);
x_4 = l_Lake_Module_keyword;
x_5 = l_Lake_Module_oFacet;
x_6 = lean_alloc_ctor(1, 4, 0);
lean_ctor_set(x_6, 0, x_3);
lean_ctor_set(x_6, 1, x_4);
lean_ctor_set(x_6, 2, x_1);
lean_ctor_set(x_6, 3, x_5);
return x_6;
}
}
LEAN_EXPORT lean_object* l_Lake_Module_oExport(lean_object* x_1) {
_start:
{
lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6; 
x_2 = lean_ctor_get(x_1, 2);
lean_inc(x_2);
x_3 = lean_alloc_ctor(0, 1, 0);
lean_ctor_set(x_3, 0, x_2);
x_4 = l_Lake_Module_keyword;
x_5 = l_Lake_Module_oExportFacet;
x_6 = lean_alloc_ctor(1, 4, 0);
lean_ctor_set(x_6, 0, x_3);
lean_ctor_set(x_6, 1, x_4);
lean_ctor_set(x_6, 2, x_1);
lean_ctor_set(x_6, 3, x_5);
return x_6;
}
}
LEAN_EXPORT lean_object* l_Lake_Module_oNoExport(lean_object* x_1) {
_start:
{
lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6; 
x_2 = lean_ctor_get(x_1, 2);
lean_inc(x_2);
x_3 = lean_alloc_ctor(0, 1, 0);
lean_ctor_set(x_3, 0, x_2);
x_4 = l_Lake_Module_keyword;
x_5 = l_Lake_Module_oNoExportFacet;
x_6 = lean_alloc_ctor(1, 4, 0);
lean_ctor_set(x_6, 0, x_3);
lean_ctor_set(x_6, 1, x_4);
lean_ctor_set(x_6, 2, x_1);
lean_ctor_set(x_6, 3, x_5);
return x_6;
}
}
LEAN_EXPORT lean_object* l_Lake_Module_co(lean_object* x_1) {
_start:
{
lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6; 
x_2 = lean_ctor_get(x_1, 2);
lean_inc(x_2);
x_3 = lean_alloc_ctor(0, 1, 0);
lean_ctor_set(x_3, 0, x_2);
x_4 = l_Lake_Module_keyword;
x_5 = l_Lake_Module_coFacet;
x_6 = lean_alloc_ctor(1, 4, 0);
lean_ctor_set(x_6, 0, x_3);
lean_ctor_set(x_6, 1, x_4);
lean_ctor_set(x_6, 2, x_1);
lean_ctor_set(x_6, 3, x_5);
return x_6;
}
}
LEAN_EXPORT lean_object* l_Lake_Module_coExport(lean_object* x_1) {
_start:
{
lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6; 
x_2 = lean_ctor_get(x_1, 2);
lean_inc(x_2);
x_3 = lean_alloc_ctor(0, 1, 0);
lean_ctor_set(x_3, 0, x_2);
x_4 = l_Lake_Module_keyword;
x_5 = l_Lake_Module_coExportFacet;
x_6 = lean_alloc_ctor(1, 4, 0);
lean_ctor_set(x_6, 0, x_3);
lean_ctor_set(x_6, 1, x_4);
lean_ctor_set(x_6, 2, x_1);
lean_ctor_set(x_6, 3, x_5);
return x_6;
}
}
LEAN_EXPORT lean_object* l_Lake_Module_coNoExport(lean_object* x_1) {
_start:
{
lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6; 
x_2 = lean_ctor_get(x_1, 2);
lean_inc(x_2);
x_3 = lean_alloc_ctor(0, 1, 0);
lean_ctor_set(x_3, 0, x_2);
x_4 = l_Lake_Module_keyword;
x_5 = l_Lake_Module_coNoExportFacet;
x_6 = lean_alloc_ctor(1, 4, 0);
lean_ctor_set(x_6, 0, x_3);
lean_ctor_set(x_6, 1, x_4);
lean_ctor_set(x_6, 2, x_1);
lean_ctor_set(x_6, 3, x_5);
return x_6;
}
}
LEAN_EXPORT lean_object* l_Lake_Module_bco(lean_object* x_1) {
_start:
{
lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6; 
x_2 = lean_ctor_get(x_1, 2);
lean_inc(x_2);
x_3 = lean_alloc_ctor(0, 1, 0);
lean_ctor_set(x_3, 0, x_2);
x_4 = l_Lake_Module_keyword;
x_5 = l_Lake_Module_bcoFacet;
x_6 = lean_alloc_ctor(1, 4, 0);
lean_ctor_set(x_6, 0, x_3);
lean_ctor_set(x_6, 1, x_4);
lean_ctor_set(x_6, 2, x_1);
lean_ctor_set(x_6, 3, x_5);
return x_6;
}
}
LEAN_EXPORT lean_object* l_Lake_Module_dynlib(lean_object* x_1) {
_start:
{
lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6; 
x_2 = lean_ctor_get(x_1, 2);
lean_inc(x_2);
x_3 = lean_alloc_ctor(0, 1, 0);
lean_ctor_set(x_3, 0, x_2);
x_4 = l_Lake_Module_keyword;
x_5 = l_Lake_Module_dynlibFacet;
x_6 = lean_alloc_ctor(1, 4, 0);
lean_ctor_set(x_6, 0, x_3);
lean_ctor_set(x_6, 1, x_4);
lean_ctor_set(x_6, 2, x_1);
lean_ctor_set(x_6, 3, x_5);
return x_6;
}
}
LEAN_EXPORT lean_object* l_Lake_Package_target(lean_object* x_1, lean_object* x_2) {
_start:
{
lean_object* x_3; 
x_3 = lean_alloc_ctor(0, 2, 0);
lean_ctor_set(x_3, 0, x_2);
lean_ctor_set(x_3, 1, x_1);
return x_3;
}
}
LEAN_EXPORT lean_object* l_Lake_Package_facetCore(lean_object* x_1, lean_object* x_2) {
_start:
{
lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6; 
x_3 = lean_ctor_get(x_2, 0);
lean_inc(x_3);
x_4 = lean_alloc_ctor(1, 1, 0);
lean_ctor_set(x_4, 0, x_3);
x_5 = l_Lake_Package_keyword;
x_6 = lean_alloc_ctor(1, 4, 0);
lean_ctor_set(x_6, 0, x_4);
lean_ctor_set(x_6, 1, x_5);
lean_ctor_set(x_6, 2, x_2);
lean_ctor_set(x_6, 3, x_1);
return x_6;
}
}
LEAN_EXPORT lean_object* l_Lake_Package_facet(lean_object* x_1, lean_object* x_2) {
_start:
{
lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6; lean_object* x_7; 
x_3 = l_Lake_Package_keyword;
x_4 = l_Lean_Name_append(x_3, x_1);
x_5 = lean_ctor_get(x_2, 0);
lean_inc(x_5);
x_6 = lean_alloc_ctor(1, 1, 0);
lean_ctor_set(x_6, 0, x_5);
x_7 = lean_alloc_ctor(1, 4, 0);
lean_ctor_set(x_7, 0, x_6);
lean_ctor_set(x_7, 1, x_3);
lean_ctor_set(x_7, 2, x_2);
lean_ctor_set(x_7, 3, x_4);
return x_7;
}
}
LEAN_EXPORT lean_object* l_Lake_BuildInfo_packageFacet(lean_object* x_1, lean_object* x_2) {
_start:
{
lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6; 
x_3 = lean_ctor_get(x_1, 0);
lean_inc(x_3);
x_4 = lean_alloc_ctor(1, 1, 0);
lean_ctor_set(x_4, 0, x_3);
x_5 = l_Lake_Package_keyword;
x_6 = lean_alloc_ctor(1, 4, 0);
lean_ctor_set(x_6, 0, x_4);
lean_ctor_set(x_6, 1, x_5);
lean_ctor_set(x_6, 2, x_1);
lean_ctor_set(x_6, 3, x_2);
return x_6;
}
}
LEAN_EXPORT lean_object* l_Lake_Package_buildCache(lean_object* x_1) {
_start:
{
lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6; 
x_2 = lean_ctor_get(x_1, 0);
lean_inc(x_2);
x_3 = lean_alloc_ctor(1, 1, 0);
lean_ctor_set(x_3, 0, x_2);
x_4 = l_Lake_Package_keyword;
x_5 = l_Lake_Package_buildCacheFacet;
x_6 = lean_alloc_ctor(1, 4, 0);
lean_ctor_set(x_6, 0, x_3);
lean_ctor_set(x_6, 1, x_4);
lean_ctor_set(x_6, 2, x_1);
lean_ctor_set(x_6, 3, x_5);
return x_6;
}
}
LEAN_EXPORT lean_object* l_Lake_Package_optBuildCache(lean_object* x_1) {
_start:
{
lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6; 
x_2 = lean_ctor_get(x_1, 0);
lean_inc(x_2);
x_3 = lean_alloc_ctor(1, 1, 0);
lean_ctor_set(x_3, 0, x_2);
x_4 = l_Lake_Package_keyword;
x_5 = l_Lake_Package_optBuildCacheFacet;
x_6 = lean_alloc_ctor(1, 4, 0);
lean_ctor_set(x_6, 0, x_3);
lean_ctor_set(x_6, 1, x_4);
lean_ctor_set(x_6, 2, x_1);
lean_ctor_set(x_6, 3, x_5);
return x_6;
}
}
LEAN_EXPORT lean_object* l_Lake_Package_reservoirBarrel(lean_object* x_1) {
_start:
{
lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6; 
x_2 = lean_ctor_get(x_1, 0);
lean_inc(x_2);
x_3 = lean_alloc_ctor(1, 1, 0);
lean_ctor_set(x_3, 0, x_2);
x_4 = l_Lake_Package_keyword;
x_5 = l_Lake_Package_reservoirBarrelFacet;
x_6 = lean_alloc_ctor(1, 4, 0);
lean_ctor_set(x_6, 0, x_3);
lean_ctor_set(x_6, 1, x_4);
lean_ctor_set(x_6, 2, x_1);
lean_ctor_set(x_6, 3, x_5);
return x_6;
}
}
LEAN_EXPORT lean_object* l_Lake_Package_optReservoirBarrel(lean_object* x_1) {
_start:
{
lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6; 
x_2 = lean_ctor_get(x_1, 0);
lean_inc(x_2);
x_3 = lean_alloc_ctor(1, 1, 0);
lean_ctor_set(x_3, 0, x_2);
x_4 = l_Lake_Package_keyword;
x_5 = l_Lake_Package_optReservoirBarrelFacet;
x_6 = lean_alloc_ctor(1, 4, 0);
lean_ctor_set(x_6, 0, x_3);
lean_ctor_set(x_6, 1, x_4);
lean_ctor_set(x_6, 2, x_1);
lean_ctor_set(x_6, 3, x_5);
return x_6;
}
}
LEAN_EXPORT lean_object* l_Lake_Package_gitHubRelease(lean_object* x_1) {
_start:
{
lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6; 
x_2 = lean_ctor_get(x_1, 0);
lean_inc(x_2);
x_3 = lean_alloc_ctor(1, 1, 0);
lean_ctor_set(x_3, 0, x_2);
x_4 = l_Lake_Package_keyword;
x_5 = l_Lake_Package_gitHubReleaseFacet;
x_6 = lean_alloc_ctor(1, 4, 0);
lean_ctor_set(x_6, 0, x_3);
lean_ctor_set(x_6, 1, x_4);
lean_ctor_set(x_6, 2, x_1);
lean_ctor_set(x_6, 3, x_5);
return x_6;
}
}
LEAN_EXPORT lean_object* l_Lake_Package_optGitHubRelease(lean_object* x_1) {
_start:
{
lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6; 
x_2 = lean_ctor_get(x_1, 0);
lean_inc(x_2);
x_3 = lean_alloc_ctor(1, 1, 0);
lean_ctor_set(x_3, 0, x_2);
x_4 = l_Lake_Package_keyword;
x_5 = l_Lake_Package_optGitHubReleaseFacet;
x_6 = lean_alloc_ctor(1, 4, 0);
lean_ctor_set(x_6, 0, x_3);
lean_ctor_set(x_6, 1, x_4);
lean_ctor_set(x_6, 2, x_1);
lean_ctor_set(x_6, 3, x_5);
return x_6;
}
}
LEAN_EXPORT lean_object* l_Lake_Package_extraDep(lean_object* x_1) {
_start:
{
lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6; 
x_2 = lean_ctor_get(x_1, 0);
lean_inc(x_2);
x_3 = lean_alloc_ctor(1, 1, 0);
lean_ctor_set(x_3, 0, x_2);
x_4 = l_Lake_Package_keyword;
x_5 = l_Lake_Package_extraDepFacet;
x_6 = lean_alloc_ctor(1, 4, 0);
lean_ctor_set(x_6, 0, x_3);
lean_ctor_set(x_6, 1, x_4);
lean_ctor_set(x_6, 2, x_1);
lean_ctor_set(x_6, 3, x_5);
return x_6;
}
}
LEAN_EXPORT lean_object* l_Lake_Package_deps(lean_object* x_1) {
_start:
{
lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6; 
x_2 = lean_ctor_get(x_1, 0);
lean_inc(x_2);
x_3 = lean_alloc_ctor(1, 1, 0);
lean_ctor_set(x_3, 0, x_2);
x_4 = l_Lake_Package_keyword;
x_5 = l_Lake_Package_depsFacet;
x_6 = lean_alloc_ctor(1, 4, 0);
lean_ctor_set(x_6, 0, x_3);
lean_ctor_set(x_6, 1, x_4);
lean_ctor_set(x_6, 2, x_1);
lean_ctor_set(x_6, 3, x_5);
return x_6;
}
}
LEAN_EXPORT lean_object* l_Lake_Package_transDeps(lean_object* x_1) {
_start:
{
lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6; 
x_2 = lean_ctor_get(x_1, 0);
lean_inc(x_2);
x_3 = lean_alloc_ctor(1, 1, 0);
lean_ctor_set(x_3, 0, x_2);
x_4 = l_Lake_Package_keyword;
x_5 = l_Lake_Package_transDepsFacet;
x_6 = lean_alloc_ctor(1, 4, 0);
lean_ctor_set(x_6, 0, x_3);
lean_ctor_set(x_6, 1, x_4);
lean_ctor_set(x_6, 2, x_1);
lean_ctor_set(x_6, 3, x_5);
return x_6;
}
}
LEAN_EXPORT lean_object* l_Lake_LeanLib_facetCore(lean_object* x_1, lean_object* x_2) {
_start:
{
lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6; lean_object* x_7; lean_object* x_8; 
x_3 = lean_ctor_get(x_2, 0);
lean_inc(x_3);
x_4 = lean_ctor_get(x_2, 1);
lean_inc(x_4);
x_5 = lean_ctor_get(x_3, 0);
lean_inc(x_5);
lean_dec(x_3);
x_6 = lean_alloc_ctor(2, 2, 0);
lean_ctor_set(x_6, 0, x_5);
lean_ctor_set(x_6, 1, x_4);
x_7 = l_Lake_instDataKindLeanLib___closed__2;
x_8 = lean_alloc_ctor(1, 4, 0);
lean_ctor_set(x_8, 0, x_6);
lean_ctor_set(x_8, 1, x_7);
lean_ctor_set(x_8, 2, x_2);
lean_ctor_set(x_8, 3, x_1);
return x_8;
}
}
LEAN_EXPORT lean_object* l_Lake_LeanLib_facet(lean_object* x_1, lean_object* x_2) {
_start:
{
lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6; lean_object* x_7; lean_object* x_8; lean_object* x_9; 
x_3 = l_Lake_instDataKindLeanLib___closed__2;
x_4 = l_Lean_Name_append(x_3, x_1);
x_5 = lean_ctor_get(x_2, 0);
lean_inc(x_5);
x_6 = lean_ctor_get(x_2, 1);
lean_inc(x_6);
x_7 = lean_ctor_get(x_5, 0);
lean_inc(x_7);
lean_dec(x_5);
x_8 = lean_alloc_ctor(2, 2, 0);
lean_ctor_set(x_8, 0, x_7);
lean_ctor_set(x_8, 1, x_6);
x_9 = lean_alloc_ctor(1, 4, 0);
lean_ctor_set(x_9, 0, x_8);
lean_ctor_set(x_9, 1, x_3);
lean_ctor_set(x_9, 2, x_2);
lean_ctor_set(x_9, 3, x_4);
return x_9;
}
}
LEAN_EXPORT lean_object* l_Lake_BuildInfo_libraryFacet(lean_object* x_1, lean_object* x_2) {
_start:
{
lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6; lean_object* x_7; lean_object* x_8; 
x_3 = lean_ctor_get(x_1, 0);
lean_inc(x_3);
x_4 = lean_ctor_get(x_1, 1);
lean_inc(x_4);
x_5 = lean_ctor_get(x_3, 0);
lean_inc(x_5);
lean_dec(x_3);
x_6 = lean_alloc_ctor(2, 2, 0);
lean_ctor_set(x_6, 0, x_5);
lean_ctor_set(x_6, 1, x_4);
x_7 = l_Lake_instDataKindLeanLib___closed__2;
x_8 = lean_alloc_ctor(1, 4, 0);
lean_ctor_set(x_8, 0, x_6);
lean_ctor_set(x_8, 1, x_7);
lean_ctor_set(x_8, 2, x_1);
lean_ctor_set(x_8, 3, x_2);
return x_8;
}
}
LEAN_EXPORT lean_object* l_Lake_LeanLib_modules(lean_object* x_1) {
_start:
{
lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6; lean_object* x_7; lean_object* x_8; 
x_2 = lean_ctor_get(x_1, 0);
lean_inc(x_2);
x_3 = lean_ctor_get(x_1, 1);
lean_inc(x_3);
x_4 = lean_ctor_get(x_2, 0);
lean_inc(x_4);
lean_dec(x_2);
x_5 = lean_alloc_ctor(2, 2, 0);
lean_ctor_set(x_5, 0, x_4);
lean_ctor_set(x_5, 1, x_3);
x_6 = l_Lake_instDataKindLeanLib___closed__2;
x_7 = l_Lake_LeanLib_modulesFacet;
x_8 = lean_alloc_ctor(1, 4, 0);
lean_ctor_set(x_8, 0, x_5);
lean_ctor_set(x_8, 1, x_6);
lean_ctor_set(x_8, 2, x_1);
lean_ctor_set(x_8, 3, x_7);
return x_8;
}
}
LEAN_EXPORT lean_object* l_Lake_LeanLib_leanArts(lean_object* x_1) {
_start:
{
lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6; lean_object* x_7; lean_object* x_8; 
x_2 = lean_ctor_get(x_1, 0);
lean_inc(x_2);
x_3 = lean_ctor_get(x_1, 1);
lean_inc(x_3);
x_4 = lean_ctor_get(x_2, 0);
lean_inc(x_4);
lean_dec(x_2);
x_5 = lean_alloc_ctor(2, 2, 0);
lean_ctor_set(x_5, 0, x_4);
lean_ctor_set(x_5, 1, x_3);
x_6 = l_Lake_instDataKindLeanLib___closed__2;
x_7 = l_Lake_LeanLib_leanArtsFacet;
x_8 = lean_alloc_ctor(1, 4, 0);
lean_ctor_set(x_8, 0, x_5);
lean_ctor_set(x_8, 1, x_6);
lean_ctor_set(x_8, 2, x_1);
lean_ctor_set(x_8, 3, x_7);
return x_8;
}
}
LEAN_EXPORT lean_object* l_Lake_LeanLib_static(lean_object* x_1) {
_start:
{
lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6; lean_object* x_7; lean_object* x_8; 
x_2 = lean_ctor_get(x_1, 0);
lean_inc(x_2);
x_3 = lean_ctor_get(x_1, 1);
lean_inc(x_3);
x_4 = lean_ctor_get(x_2, 0);
lean_inc(x_4);
lean_dec(x_2);
x_5 = lean_alloc_ctor(2, 2, 0);
lean_ctor_set(x_5, 0, x_4);
lean_ctor_set(x_5, 1, x_3);
x_6 = l_Lake_instDataKindLeanLib___closed__2;
x_7 = l_Lake_LeanLib_staticFacet;
x_8 = lean_alloc_ctor(1, 4, 0);
lean_ctor_set(x_8, 0, x_5);
lean_ctor_set(x_8, 1, x_6);
lean_ctor_set(x_8, 2, x_1);
lean_ctor_set(x_8, 3, x_7);
return x_8;
}
}
LEAN_EXPORT lean_object* l_Lake_LeanLib_staticExport(lean_object* x_1) {
_start:
{
lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6; lean_object* x_7; lean_object* x_8; 
x_2 = lean_ctor_get(x_1, 0);
lean_inc(x_2);
x_3 = lean_ctor_get(x_1, 1);
lean_inc(x_3);
x_4 = lean_ctor_get(x_2, 0);
lean_inc(x_4);
lean_dec(x_2);
x_5 = lean_alloc_ctor(2, 2, 0);
lean_ctor_set(x_5, 0, x_4);
lean_ctor_set(x_5, 1, x_3);
x_6 = l_Lake_instDataKindLeanLib___closed__2;
x_7 = l_Lake_LeanLib_staticExportFacet;
x_8 = lean_alloc_ctor(1, 4, 0);
lean_ctor_set(x_8, 0, x_5);
lean_ctor_set(x_8, 1, x_6);
lean_ctor_set(x_8, 2, x_1);
lean_ctor_set(x_8, 3, x_7);
return x_8;
}
}
LEAN_EXPORT lean_object* l_Lake_LeanLib_shared(lean_object* x_1) {
_start:
{
lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6; lean_object* x_7; lean_object* x_8; 
x_2 = lean_ctor_get(x_1, 0);
lean_inc(x_2);
x_3 = lean_ctor_get(x_1, 1);
lean_inc(x_3);
x_4 = lean_ctor_get(x_2, 0);
lean_inc(x_4);
lean_dec(x_2);
x_5 = lean_alloc_ctor(2, 2, 0);
lean_ctor_set(x_5, 0, x_4);
lean_ctor_set(x_5, 1, x_3);
x_6 = l_Lake_instDataKindLeanLib___closed__2;
x_7 = l_Lake_LeanLib_sharedFacet;
x_8 = lean_alloc_ctor(1, 4, 0);
lean_ctor_set(x_8, 0, x_5);
lean_ctor_set(x_8, 1, x_6);
lean_ctor_set(x_8, 2, x_1);
lean_ctor_set(x_8, 3, x_7);
return x_8;
}
}
LEAN_EXPORT lean_object* l_Lake_LeanLib_extraDep(lean_object* x_1) {
_start:
{
lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6; lean_object* x_7; lean_object* x_8; 
x_2 = lean_ctor_get(x_1, 0);
lean_inc(x_2);
x_3 = lean_ctor_get(x_1, 1);
lean_inc(x_3);
x_4 = lean_ctor_get(x_2, 0);
lean_inc(x_4);
lean_dec(x_2);
x_5 = lean_alloc_ctor(2, 2, 0);
lean_ctor_set(x_5, 0, x_4);
lean_ctor_set(x_5, 1, x_3);
x_6 = l_Lake_instDataKindLeanLib___closed__2;
x_7 = l_Lake_LeanLib_extraDepFacet;
x_8 = lean_alloc_ctor(1, 4, 0);
lean_ctor_set(x_8, 0, x_5);
lean_ctor_set(x_8, 1, x_6);
lean_ctor_set(x_8, 2, x_1);
lean_ctor_set(x_8, 3, x_7);
return x_8;
}
}
LEAN_EXPORT lean_object* l_Lake_LeanExe_facetCore(lean_object* x_1, lean_object* x_2) {
_start:
{
lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6; lean_object* x_7; lean_object* x_8; 
x_3 = lean_ctor_get(x_2, 0);
lean_inc(x_3);
x_4 = lean_ctor_get(x_2, 1);
lean_inc(x_4);
x_5 = lean_ctor_get(x_3, 0);
lean_inc(x_5);
lean_dec(x_3);
x_6 = lean_alloc_ctor(2, 2, 0);
lean_ctor_set(x_6, 0, x_5);
lean_ctor_set(x_6, 1, x_4);
x_7 = l_Lake_LeanExe_keyword;
x_8 = lean_alloc_ctor(1, 4, 0);
lean_ctor_set(x_8, 0, x_6);
lean_ctor_set(x_8, 1, x_7);
lean_ctor_set(x_8, 2, x_2);
lean_ctor_set(x_8, 3, x_1);
return x_8;
}
}
LEAN_EXPORT lean_object* l_Lake_LeanExe_exe(lean_object* x_1) {
_start:
{
lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6; lean_object* x_7; lean_object* x_8; 
x_2 = lean_ctor_get(x_1, 0);
lean_inc(x_2);
x_3 = lean_ctor_get(x_1, 1);
lean_inc(x_3);
x_4 = lean_ctor_get(x_2, 0);
lean_inc(x_4);
lean_dec(x_2);
x_5 = lean_alloc_ctor(2, 2, 0);
lean_ctor_set(x_5, 0, x_4);
lean_ctor_set(x_5, 1, x_3);
x_6 = l_Lake_LeanExe_keyword;
x_7 = l_Lake_LeanExe_exeFacet;
x_8 = lean_alloc_ctor(1, 4, 0);
lean_ctor_set(x_8, 0, x_5);
lean_ctor_set(x_8, 1, x_6);
lean_ctor_set(x_8, 2, x_1);
lean_ctor_set(x_8, 3, x_7);
return x_8;
}
}
LEAN_EXPORT lean_object* l_Lake_BuildInfo_leanExe(lean_object* x_1) {
_start:
{
lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6; lean_object* x_7; lean_object* x_8; 
x_2 = lean_ctor_get(x_1, 0);
lean_inc(x_2);
x_3 = lean_ctor_get(x_1, 1);
lean_inc(x_3);
x_4 = lean_ctor_get(x_2, 0);
lean_inc(x_4);
lean_dec(x_2);
x_5 = lean_alloc_ctor(2, 2, 0);
lean_ctor_set(x_5, 0, x_4);
lean_ctor_set(x_5, 1, x_3);
x_6 = l_Lake_LeanExe_keyword;
x_7 = l_Lake_LeanExe_exeFacet;
x_8 = lean_alloc_ctor(1, 4, 0);
lean_ctor_set(x_8, 0, x_5);
lean_ctor_set(x_8, 1, x_6);
lean_ctor_set(x_8, 2, x_1);
lean_ctor_set(x_8, 3, x_7);
return x_8;
}
}
LEAN_EXPORT lean_object* l_Lake_ExternLib_facetCore(lean_object* x_1, lean_object* x_2) {
_start:
{
lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6; lean_object* x_7; lean_object* x_8; 
x_3 = lean_ctor_get(x_2, 0);
lean_inc(x_3);
x_4 = lean_ctor_get(x_2, 1);
lean_inc(x_4);
x_5 = lean_ctor_get(x_3, 0);
lean_inc(x_5);
lean_dec(x_3);
x_6 = lean_alloc_ctor(2, 2, 0);
lean_ctor_set(x_6, 0, x_5);
lean_ctor_set(x_6, 1, x_4);
x_7 = l_Lake_ExternLib_keyword;
x_8 = lean_alloc_ctor(1, 4, 0);
lean_ctor_set(x_8, 0, x_6);
lean_ctor_set(x_8, 1, x_7);
lean_ctor_set(x_8, 2, x_2);
lean_ctor_set(x_8, 3, x_1);
return x_8;
}
}
LEAN_EXPORT lean_object* l_Lake_ExternLib_static(lean_object* x_1) {
_start:
{
lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6; lean_object* x_7; lean_object* x_8; 
x_2 = lean_ctor_get(x_1, 0);
lean_inc(x_2);
x_3 = lean_ctor_get(x_1, 1);
lean_inc(x_3);
x_4 = lean_ctor_get(x_2, 0);
lean_inc(x_4);
lean_dec(x_2);
x_5 = lean_alloc_ctor(2, 2, 0);
lean_ctor_set(x_5, 0, x_4);
lean_ctor_set(x_5, 1, x_3);
x_6 = l_Lake_ExternLib_keyword;
x_7 = l_Lake_ExternLib_staticFacet;
x_8 = lean_alloc_ctor(1, 4, 0);
lean_ctor_set(x_8, 0, x_5);
lean_ctor_set(x_8, 1, x_6);
lean_ctor_set(x_8, 2, x_1);
lean_ctor_set(x_8, 3, x_7);
return x_8;
}
}
LEAN_EXPORT lean_object* l_Lake_BuildInfo_staticExternLib(lean_object* x_1) {
_start:
{
lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6; lean_object* x_7; lean_object* x_8; 
x_2 = lean_ctor_get(x_1, 0);
lean_inc(x_2);
x_3 = lean_ctor_get(x_1, 1);
lean_inc(x_3);
x_4 = lean_ctor_get(x_2, 0);
lean_inc(x_4);
lean_dec(x_2);
x_5 = lean_alloc_ctor(2, 2, 0);
lean_ctor_set(x_5, 0, x_4);
lean_ctor_set(x_5, 1, x_3);
x_6 = l_Lake_ExternLib_keyword;
x_7 = l_Lake_ExternLib_staticFacet;
x_8 = lean_alloc_ctor(1, 4, 0);
lean_ctor_set(x_8, 0, x_5);
lean_ctor_set(x_8, 1, x_6);
lean_ctor_set(x_8, 2, x_1);
lean_ctor_set(x_8, 3, x_7);
return x_8;
}
}
LEAN_EXPORT lean_object* l_Lake_ExternLib_shared(lean_object* x_1) {
_start:
{
lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6; lean_object* x_7; lean_object* x_8; 
x_2 = lean_ctor_get(x_1, 0);
lean_inc(x_2);
x_3 = lean_ctor_get(x_1, 1);
lean_inc(x_3);
x_4 = lean_ctor_get(x_2, 0);
lean_inc(x_4);
lean_dec(x_2);
x_5 = lean_alloc_ctor(2, 2, 0);
lean_ctor_set(x_5, 0, x_4);
lean_ctor_set(x_5, 1, x_3);
x_6 = l_Lake_ExternLib_keyword;
x_7 = l_Lake_ExternLib_sharedFacet;
x_8 = lean_alloc_ctor(1, 4, 0);
lean_ctor_set(x_8, 0, x_5);
lean_ctor_set(x_8, 1, x_6);
lean_ctor_set(x_8, 2, x_1);
lean_ctor_set(x_8, 3, x_7);
return x_8;
}
}
LEAN_EXPORT lean_object* l_Lake_BuildInfo_sharedExternLib(lean_object* x_1) {
_start:
{
lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6; lean_object* x_7; lean_object* x_8; 
x_2 = lean_ctor_get(x_1, 0);
lean_inc(x_2);
x_3 = lean_ctor_get(x_1, 1);
lean_inc(x_3);
x_4 = lean_ctor_get(x_2, 0);
lean_inc(x_4);
lean_dec(x_2);
x_5 = lean_alloc_ctor(2, 2, 0);
lean_ctor_set(x_5, 0, x_4);
lean_ctor_set(x_5, 1, x_3);
x_6 = l_Lake_ExternLib_keyword;
x_7 = l_Lake_ExternLib_sharedFacet;
x_8 = lean_alloc_ctor(1, 4, 0);
lean_ctor_set(x_8, 0, x_5);
lean_ctor_set(x_8, 1, x_6);
lean_ctor_set(x_8, 2, x_1);
lean_ctor_set(x_8, 3, x_7);
return x_8;
}
}
LEAN_EXPORT lean_object* l_Lake_ExternLib_dynlib(lean_object* x_1) {
_start:
{
lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6; lean_object* x_7; lean_object* x_8; 
x_2 = lean_ctor_get(x_1, 0);
lean_inc(x_2);
x_3 = lean_ctor_get(x_1, 1);
lean_inc(x_3);
x_4 = lean_ctor_get(x_2, 0);
lean_inc(x_4);
lean_dec(x_2);
x_5 = lean_alloc_ctor(2, 2, 0);
lean_ctor_set(x_5, 0, x_4);
lean_ctor_set(x_5, 1, x_3);
x_6 = l_Lake_ExternLib_keyword;
x_7 = l_Lake_ExternLib_dynlibFacet;
x_8 = lean_alloc_ctor(1, 4, 0);
lean_ctor_set(x_8, 0, x_5);
lean_ctor_set(x_8, 1, x_6);
lean_ctor_set(x_8, 2, x_1);
lean_ctor_set(x_8, 3, x_7);
return x_8;
}
}
LEAN_EXPORT lean_object* l_Lake_BuildInfo_dynlibExternLib(lean_object* x_1) {
_start:
{
lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6; lean_object* x_7; lean_object* x_8; 
x_2 = lean_ctor_get(x_1, 0);
lean_inc(x_2);
x_3 = lean_ctor_get(x_1, 1);
lean_inc(x_3);
x_4 = lean_ctor_get(x_2, 0);
lean_inc(x_4);
lean_dec(x_2);
x_5 = lean_alloc_ctor(2, 2, 0);
lean_ctor_set(x_5, 0, x_4);
lean_ctor_set(x_5, 1, x_3);
x_6 = l_Lake_ExternLib_keyword;
x_7 = l_Lake_ExternLib_dynlibFacet;
x_8 = lean_alloc_ctor(1, 4, 0);
lean_ctor_set(x_8, 0, x_5);
lean_ctor_set(x_8, 1, x_6);
lean_ctor_set(x_8, 2, x_1);
lean_ctor_set(x_8, 3, x_7);
return x_8;
}
}
LEAN_EXPORT lean_object* l_Lake_InputFile_facetCore(lean_object* x_1, lean_object* x_2) {
_start:
{
lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6; lean_object* x_7; lean_object* x_8; 
x_3 = lean_ctor_get(x_2, 0);
lean_inc(x_3);
x_4 = lean_ctor_get(x_2, 1);
lean_inc(x_4);
x_5 = lean_ctor_get(x_3, 0);
lean_inc(x_5);
lean_dec(x_3);
x_6 = lean_alloc_ctor(2, 2, 0);
lean_ctor_set(x_6, 0, x_5);
lean_ctor_set(x_6, 1, x_4);
x_7 = l_Lake_InputFile_keyword;
x_8 = lean_alloc_ctor(1, 4, 0);
lean_ctor_set(x_8, 0, x_6);
lean_ctor_set(x_8, 1, x_7);
lean_ctor_set(x_8, 2, x_2);
lean_ctor_set(x_8, 3, x_1);
return x_8;
}
}
LEAN_EXPORT lean_object* l_Lake_InputFile_default(lean_object* x_1) {
_start:
{
lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6; lean_object* x_7; lean_object* x_8; 
x_2 = lean_ctor_get(x_1, 0);
lean_inc(x_2);
x_3 = lean_ctor_get(x_1, 1);
lean_inc(x_3);
x_4 = lean_ctor_get(x_2, 0);
lean_inc(x_4);
lean_dec(x_2);
x_5 = lean_alloc_ctor(2, 2, 0);
lean_ctor_set(x_5, 0, x_4);
lean_ctor_set(x_5, 1, x_3);
x_6 = l_Lake_InputFile_keyword;
x_7 = l_Lake_InputFile_defaultFacet;
x_8 = lean_alloc_ctor(1, 4, 0);
lean_ctor_set(x_8, 0, x_5);
lean_ctor_set(x_8, 1, x_6);
lean_ctor_set(x_8, 2, x_1);
lean_ctor_set(x_8, 3, x_7);
return x_8;
}
}
LEAN_EXPORT lean_object* l_Lake_InputDir_facetCore(lean_object* x_1, lean_object* x_2) {
_start:
{
lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6; lean_object* x_7; lean_object* x_8; 
x_3 = lean_ctor_get(x_2, 0);
lean_inc(x_3);
x_4 = lean_ctor_get(x_2, 1);
lean_inc(x_4);
x_5 = lean_ctor_get(x_3, 0);
lean_inc(x_5);
lean_dec(x_3);
x_6 = lean_alloc_ctor(2, 2, 0);
lean_ctor_set(x_6, 0, x_5);
lean_ctor_set(x_6, 1, x_4);
x_7 = l_Lake_InputDir_keyword;
x_8 = lean_alloc_ctor(1, 4, 0);
lean_ctor_set(x_8, 0, x_6);
lean_ctor_set(x_8, 1, x_7);
lean_ctor_set(x_8, 2, x_2);
lean_ctor_set(x_8, 3, x_1);
return x_8;
}
}
LEAN_EXPORT lean_object* l_Lake_InputDir_default(lean_object* x_1) {
_start:
{
lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6; lean_object* x_7; lean_object* x_8; 
x_2 = lean_ctor_get(x_1, 0);
lean_inc(x_2);
x_3 = lean_ctor_get(x_1, 1);
lean_inc(x_3);
x_4 = lean_ctor_get(x_2, 0);
lean_inc(x_4);
lean_dec(x_2);
x_5 = lean_alloc_ctor(2, 2, 0);
lean_ctor_set(x_5, 0, x_4);
lean_ctor_set(x_5, 1, x_3);
x_6 = l_Lake_InputDir_keyword;
x_7 = l_Lake_InputDir_defaultFacet;
x_8 = lean_alloc_ctor(1, 4, 0);
lean_ctor_set(x_8, 0, x_5);
lean_ctor_set(x_8, 1, x_6);
lean_ctor_set(x_8, 2, x_1);
lean_ctor_set(x_8, 3, x_7);
return x_8;
}
}
lean_object* initialize_Lake_Config_LeanExe(uint8_t builtin, lean_object*);
lean_object* initialize_Lake_Config_ExternLib(uint8_t builtin, lean_object*);
lean_object* initialize_Lake_Config_InputFile(uint8_t builtin, lean_object*);
lean_object* initialize_Lake_Build_Facets(uint8_t builtin, lean_object*);
static bool _G_initialized = false;
LEAN_EXPORT lean_object* initialize_Lake_Build_Info(uint8_t builtin, lean_object* w) {
lean_object * res;
if (_G_initialized) return lean_io_result_mk_ok(lean_box(0));
_G_initialized = true;
res = initialize_Lake_Config_LeanExe(builtin, lean_io_mk_world());
if (lean_io_result_is_error(res)) return res;
lean_dec_ref(res);
res = initialize_Lake_Config_ExternLib(builtin, lean_io_mk_world());
if (lean_io_result_is_error(res)) return res;
lean_dec_ref(res);
res = initialize_Lake_Config_InputFile(builtin, lean_io_mk_world());
if (lean_io_result_is_error(res)) return res;
lean_dec_ref(res);
res = initialize_Lake_Build_Facets(builtin, lean_io_mk_world());
if (lean_io_result_is_error(res)) return res;
lean_dec_ref(res);
l_Lake_instDataKindModule___closed__1 = _init_l_Lake_instDataKindModule___closed__1();
lean_mark_persistent(l_Lake_instDataKindModule___closed__1);
l_Lake_instDataKindModule___closed__2 = _init_l_Lake_instDataKindModule___closed__2();
lean_mark_persistent(l_Lake_instDataKindModule___closed__2);
l_Lake_instDataKindModule = _init_l_Lake_instDataKindModule();
lean_mark_persistent(l_Lake_instDataKindModule);
l_Lake_instDataKindPackage___closed__1 = _init_l_Lake_instDataKindPackage___closed__1();
lean_mark_persistent(l_Lake_instDataKindPackage___closed__1);
l_Lake_instDataKindPackage___closed__2 = _init_l_Lake_instDataKindPackage___closed__2();
lean_mark_persistent(l_Lake_instDataKindPackage___closed__2);
l_Lake_instDataKindPackage = _init_l_Lake_instDataKindPackage();
lean_mark_persistent(l_Lake_instDataKindPackage);
l_Lake_instDataKindLeanLib___closed__1 = _init_l_Lake_instDataKindLeanLib___closed__1();
lean_mark_persistent(l_Lake_instDataKindLeanLib___closed__1);
l_Lake_instDataKindLeanLib___closed__2 = _init_l_Lake_instDataKindLeanLib___closed__2();
lean_mark_persistent(l_Lake_instDataKindLeanLib___closed__2);
l_Lake_instDataKindLeanLib = _init_l_Lake_instDataKindLeanLib();
lean_mark_persistent(l_Lake_instDataKindLeanLib);
l_Lake_instDataKindLeanExe___closed__1 = _init_l_Lake_instDataKindLeanExe___closed__1();
lean_mark_persistent(l_Lake_instDataKindLeanExe___closed__1);
l_Lake_instDataKindLeanExe___closed__2 = _init_l_Lake_instDataKindLeanExe___closed__2();
lean_mark_persistent(l_Lake_instDataKindLeanExe___closed__2);
l_Lake_instDataKindLeanExe = _init_l_Lake_instDataKindLeanExe();
lean_mark_persistent(l_Lake_instDataKindLeanExe);
l_Lake_instDataKindExternLib___closed__1 = _init_l_Lake_instDataKindExternLib___closed__1();
lean_mark_persistent(l_Lake_instDataKindExternLib___closed__1);
l_Lake_instDataKindExternLib___closed__2 = _init_l_Lake_instDataKindExternLib___closed__2();
lean_mark_persistent(l_Lake_instDataKindExternLib___closed__2);
l_Lake_instDataKindExternLib = _init_l_Lake_instDataKindExternLib();
lean_mark_persistent(l_Lake_instDataKindExternLib);
l_Lake_instDataKindInputFile___closed__1 = _init_l_Lake_instDataKindInputFile___closed__1();
lean_mark_persistent(l_Lake_instDataKindInputFile___closed__1);
l_Lake_instDataKindInputFile___closed__2 = _init_l_Lake_instDataKindInputFile___closed__2();
lean_mark_persistent(l_Lake_instDataKindInputFile___closed__2);
l_Lake_instDataKindInputFile = _init_l_Lake_instDataKindInputFile();
lean_mark_persistent(l_Lake_instDataKindInputFile);
l_Lake_instDataKindInputDir___closed__1 = _init_l_Lake_instDataKindInputDir___closed__1();
lean_mark_persistent(l_Lake_instDataKindInputDir___closed__1);
l_Lake_instDataKindInputDir___closed__2 = _init_l_Lake_instDataKindInputDir___closed__2();
lean_mark_persistent(l_Lake_instDataKindInputDir___closed__2);
l_Lake_instDataKindInputDir = _init_l_Lake_instDataKindInputDir();
lean_mark_persistent(l_Lake_instDataKindInputDir);
l_Lake_Module_importsFacet___closed__1 = _init_l_Lake_Module_importsFacet___closed__1();
lean_mark_persistent(l_Lake_Module_importsFacet___closed__1);
l_Lake_Module_importsFacet___closed__2 = _init_l_Lake_Module_importsFacet___closed__2();
lean_mark_persistent(l_Lake_Module_importsFacet___closed__2);
l_Lake_Module_importsFacet = _init_l_Lake_Module_importsFacet();
lean_mark_persistent(l_Lake_Module_importsFacet);
l_Lake_Module_transImportsFacet___closed__1 = _init_l_Lake_Module_transImportsFacet___closed__1();
lean_mark_persistent(l_Lake_Module_transImportsFacet___closed__1);
l_Lake_Module_transImportsFacet___closed__2 = _init_l_Lake_Module_transImportsFacet___closed__2();
lean_mark_persistent(l_Lake_Module_transImportsFacet___closed__2);
l_Lake_Module_transImportsFacet = _init_l_Lake_Module_transImportsFacet();
lean_mark_persistent(l_Lake_Module_transImportsFacet);
l_Lake_Module_precompileImportsFacet___closed__1 = _init_l_Lake_Module_precompileImportsFacet___closed__1();
lean_mark_persistent(l_Lake_Module_precompileImportsFacet___closed__1);
l_Lake_Module_precompileImportsFacet___closed__2 = _init_l_Lake_Module_precompileImportsFacet___closed__2();
lean_mark_persistent(l_Lake_Module_precompileImportsFacet___closed__2);
l_Lake_Module_precompileImportsFacet = _init_l_Lake_Module_precompileImportsFacet();
lean_mark_persistent(l_Lake_Module_precompileImportsFacet);
l_Lake_Module_dynlibFacet___closed__1 = _init_l_Lake_Module_dynlibFacet___closed__1();
lean_mark_persistent(l_Lake_Module_dynlibFacet___closed__1);
l_Lake_Module_dynlibFacet___closed__2 = _init_l_Lake_Module_dynlibFacet___closed__2();
lean_mark_persistent(l_Lake_Module_dynlibFacet___closed__2);
l_Lake_Module_dynlibFacet = _init_l_Lake_Module_dynlibFacet();
lean_mark_persistent(l_Lake_Module_dynlibFacet);
l_Lake_LeanLib_modulesFacet___closed__1 = _init_l_Lake_LeanLib_modulesFacet___closed__1();
lean_mark_persistent(l_Lake_LeanLib_modulesFacet___closed__1);
l_Lake_LeanLib_modulesFacet___closed__2 = _init_l_Lake_LeanLib_modulesFacet___closed__2();
lean_mark_persistent(l_Lake_LeanLib_modulesFacet___closed__2);
l_Lake_LeanLib_modulesFacet = _init_l_Lake_LeanLib_modulesFacet();
lean_mark_persistent(l_Lake_LeanLib_modulesFacet);
l_Lake_Package_depsFacet___closed__1 = _init_l_Lake_Package_depsFacet___closed__1();
lean_mark_persistent(l_Lake_Package_depsFacet___closed__1);
l_Lake_Package_depsFacet___closed__2 = _init_l_Lake_Package_depsFacet___closed__2();
lean_mark_persistent(l_Lake_Package_depsFacet___closed__2);
l_Lake_Package_depsFacet = _init_l_Lake_Package_depsFacet();
lean_mark_persistent(l_Lake_Package_depsFacet);
l_Lake_Package_transDepsFacet___closed__1 = _init_l_Lake_Package_transDepsFacet___closed__1();
lean_mark_persistent(l_Lake_Package_transDepsFacet___closed__1);
l_Lake_Package_transDepsFacet___closed__2 = _init_l_Lake_Package_transDepsFacet___closed__2();
lean_mark_persistent(l_Lake_Package_transDepsFacet___closed__2);
l_Lake_Package_transDepsFacet = _init_l_Lake_Package_transDepsFacet();
lean_mark_persistent(l_Lake_Package_transDepsFacet);
return lean_io_result_mk_ok(lean_box(0));
}
#ifdef __cplusplus
}
#endif
