diff --git a/stage0/src/Lean/Elab/Term.lean b/stage0/src/Lean/Elab/Term.lean index 95d1dcdd91..0485ca2229 100644 --- a/stage0/src/Lean/Elab/Term.lean +++ b/stage0/src/Lean/Elab/Term.lean @@ -1375,7 +1375,19 @@ def resolveLocalName (n : Name) : TermElabM (Option (Expr × List String)) := do let view := extractMacroScopes n let rec loop (n : Name) (projs : List String) := match lctx.findFromUserName? { view with name := n }.review with - | some decl => some (decl.toExpr, projs) + | some decl => + if decl.isAuxDecl && !projs.isEmpty then + /- We do not consider dot notation for local decls corresponding to recursive functions being defined. + The following example would not be elaborated correctly without this case. + ``` + def foo.aux := 1 + def foo : Nat → Nat + | n => foo.aux -- should not be interpreted as `(foo).bar` + ``` + -/ + none + else + some (decl.toExpr, projs) | none => match n with | Name.str pre s _ => loop pre (s::projs) | _ => none diff --git a/stage0/src/Lean/Parser/Command.lean b/stage0/src/Lean/Parser/Command.lean index 2f25bed2a6..f21a840792 100644 --- a/stage0/src/Lean/Parser/Command.lean +++ b/stage0/src/Lean/Parser/Command.lean @@ -32,7 +32,8 @@ def visibility := «private» <|> «protected» def «noncomputable» := leading_parser "noncomputable " def «unsafe» := leading_parser "unsafe " def «partial» := leading_parser "partial " -def declModifiers (inline : Bool) := leading_parser optional docComment >> optional (Term.«attributes» >> if inline then skip else ppDedent ppLine) >> optional visibility >> optional «noncomputable» >> optional «unsafe» >> optional «partial» +def «nonrec» := leading_parser "nonrec " +def declModifiers (inline : Bool) := leading_parser optional docComment >> optional (Term.«attributes» >> if inline then skip else ppDedent ppLine) >> optional visibility >> optional «noncomputable» >> optional «unsafe» >> optional («partial» <|> «nonrec») def declId := leading_parser ident >> optional (".{" >> sepBy1 ident ", " >> "}") def declSig := leading_parser many (ppSpace >> (Term.simpleBinderWithoutType <|> Term.bracketedBinder)) >> Term.typeSpec def optDeclSig := leading_parser many (ppSpace >> (Term.simpleBinderWithoutType <|> Term.bracketedBinder)) >> Term.optType diff --git a/stage0/stdlib/Lean/Elab/Term.c b/stage0/stdlib/Lean/Elab/Term.c index e353baeed6..97dfb8a394 100644 --- a/stage0/stdlib/Lean/Elab/Term.c +++ b/stage0/stdlib/Lean/Elab/Term.c @@ -110,6 +110,7 @@ lean_object* l_Lean_Elab_Term_resolveName___lambda__2___boxed(lean_object*, lean lean_object* l___private_Lean_Elab_Term_0__Lean_Elab_Term_postponeElabTerm___lambda__1___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Array_forInUnsafe_loop___at___private_Lean_Elab_Term_0__Lean_Elab_Term_throwStuckAtUniverseCnstr___spec__12___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_List_forIn_loop___at_Lean_Elab_Term_logUnassignedUsingErrorInfos___spec__5___lambda__2___closed__1; +uint8_t l_Lean_LocalDecl_isAuxDecl(lean_object*); lean_object* lean_name_mk_string(lean_object*, lean_object*); uint8_t l_USize_decEq(size_t, size_t); lean_object* lean_array_uget(lean_object*, size_t); @@ -710,6 +711,7 @@ lean_object* l_List_foldlM___at_Lean_Elab_Term_evalExpr___spec__8___boxed(lean_o lean_object* l_Lean_Elab_Term_getMessageLog___rarg___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Elab_Term_synthesizeInstMVarCore___lambda__1___closed__2; lean_object* l_Array_anyMUnsafe_any___at_Lean_Elab_Term_logUnassignedUsingErrorInfos___spec__3___boxed(lean_object*, lean_object*, lean_object*, lean_object*); +static lean_object* l_Lean_Elab_initFn____x40_Lean_Elab_Term___hyg_12398____closed__1; lean_object* l_Std_PersistentArray_mapMAux___at_Lean_Elab_Term_withoutModifyingElabMetaStateWithInfo___spec__4(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Elab_Term_mkTermElabAttributeUnsafe___closed__13; static lean_object* l_Lean_Elab_Term_instInhabitedSavedState___closed__6; @@ -722,7 +724,6 @@ lean_object* l_Lean_Elab_Term_tryCoeThunk_x3f(lean_object*, lean_object*, lean_o static lean_object* l_Lean_Elab_Term_instMonadTermElabM___closed__1; static lean_object* l_Lean_Elab_Term_termElabAttribute___closed__14; lean_object* l_Lean_Elab_Term_synthesizeInstMVarCore_match__1___rarg(lean_object*, lean_object*, lean_object*, lean_object*); -static lean_object* l_Lean_Elab_initFn____x40_Lean_Elab_Term___hyg_12389____closed__2; lean_object* l___private_Lean_Elab_Term_0__Lean_Elab_Term_tryLiftAndCoe_match__1___rarg(lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Elab_Term_instMonadTermElabM___closed__2; lean_object* l_Lean_Meta_getMVarsAtDecl(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); @@ -826,7 +827,6 @@ lean_object* l_Array_foldlMUnsafe_fold___at_Lean_Elab_Term_instMetaEvalTermElabM lean_object* l___private_Lean_Meta_Basic_0__Lean_Meta_withMVarContextImp___rarg(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Elab_Term_resolveName___closed__4; lean_object* l_Lean_Elab_Term_withoutModifyingElabMetaStateWithInfo(lean_object*); -static lean_object* l_Lean_Elab_initFn____x40_Lean_Elab_Term___hyg_12389____closed__1; lean_object* l_Lean_Elab_Term_instMonadBacktrackSavedStateTermElabM___lambda__1(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_List_head_x21___at_Lean_Elab_Term_resolveName_x27___spec__2___closed__4; lean_object* l_Lean_Elab_Term_instMonadLogTermElabM___lambda__3___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); @@ -845,6 +845,7 @@ lean_object* l_Lean_Meta_withLocalDecl___at___private_Lean_Elab_Term_0__Lean_Ela lean_object* l_Lean_Elab_Term_Context_sectionVars___default; static lean_object* l_Lean_Elab_Term_tryPostponeIfHasMVars___closed__2; lean_object* l_Lean_Elab_Term_resolveId_x3f_match__1(lean_object*); +static lean_object* l_Lean_Elab_initFn____x40_Lean_Elab_Term___hyg_12398____closed__2; lean_object* l_Lean_Elab_Term_mkFreshBinderName___rarg(lean_object*, lean_object*); lean_object* l_Lean_evalConst___at_Lean_Elab_Term_evalExpr___spec__11(lean_object*); static lean_object* l_Lean_Elab_Term_instMonadQuotationTermElabM___closed__14; @@ -928,6 +929,7 @@ lean_object* l___private_Lean_Elab_Term_0__Lean_Elab_Term_elabImplicitLambda_loo lean_object* l_Lean_Elab_Term_instMetaEvalTermElabM___rarg___lambda__3(lean_object*); lean_object* l_Lean_Elab_Term_tryCoeThunk_x3f_match__1(lean_object*); lean_object* l_List_map___at_Lean_MessageData_instCoeListExprMessageData___spec__1(lean_object*); +static lean_object* l_Lean_Elab_initFn____x40_Lean_Elab_Term___hyg_12398____closed__3; lean_object* l_Lean_throwError___at_Lean_Elab_Term_throwTypeMismatchError___spec__1(lean_object*); static lean_object* l___private_Lean_Elab_Term_0__Lean_Elab_Term_elabTermAux___lambda__6___closed__1; static lean_object* l_Lean_Elab_Term_initFn____x40_Lean_Elab_Term___hyg_4419____closed__3; @@ -996,7 +998,6 @@ lean_object* l_Lean_Elab_Term_isTypeApp_x3f(lean_object*, lean_object*, lean_obj static lean_object* l_Lean_Elab_Term_instToStringLVal___closed__2; lean_object* l_Lean_commitWhenSome_x3f___at___private_Lean_Elab_Term_0__Lean_Elab_Term_tryPureCoe_x3f___spec__2___at___private_Lean_Elab_Term_0__Lean_Elab_Term_tryPureCoe_x3f___spec__3(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l___private_Lean_Elab_Term_0__Lean_Elab_Term_elabImplicitLambda_loop___lambda__1___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); -static lean_object* l_Lean_Elab_initFn____x40_Lean_Elab_Term___hyg_12389____closed__3; lean_object* l_Lean_Elab_Term_elabTerm___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Elab_Term_Context_autoBoundImplicits___default; static lean_object* l_Lean_Elab_Term_instMonadQuotationTermElabM___closed__7; @@ -1184,7 +1185,7 @@ lean_object* l_IO_println___at_Lean_instEval___spec__1(lean_object*, lean_object lean_object* l_Lean_Elab_Term_throwErrorIfErrors(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); uint8_t l_Lean_NameSet_contains(lean_object*, lean_object*); static lean_object* l_Lean_Elab_Term_initFn____x40_Lean_Elab_Term___hyg_4419____closed__1; -lean_object* l_Lean_Elab_initFn____x40_Lean_Elab_Term___hyg_12389_(lean_object*); +lean_object* l_Lean_Elab_initFn____x40_Lean_Elab_Term___hyg_12398_(lean_object*); static lean_object* l_Lean_Elab_Term_termElabAttribute___closed__10; lean_object* l_Lean_throwError___at_Lean_Elab_Term_evalExpr___spec__13(lean_object*); lean_object* l_Lean_Elab_Term_addAutoBoundImplicits(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); @@ -40220,30 +40221,90 @@ lean_dec(x_1); x_16 = !lean_is_exclusive(x_10); if (x_16 == 0) { -lean_object* x_17; lean_object* x_18; lean_object* x_19; +lean_object* x_17; uint8_t x_18; x_17 = lean_ctor_get(x_10, 0); -x_18 = l_Lean_LocalDecl_toExpr(x_17); +x_18 = l_Lean_LocalDecl_isAuxDecl(x_17); +if (x_18 == 0) +{ +lean_object* x_19; lean_object* x_20; +x_19 = l_Lean_LocalDecl_toExpr(x_17); lean_dec(x_17); -x_19 = lean_alloc_ctor(0, 2, 0); -lean_ctor_set(x_19, 0, x_18); -lean_ctor_set(x_19, 1, x_4); -lean_ctor_set(x_10, 0, x_19); +x_20 = lean_alloc_ctor(0, 2, 0); +lean_ctor_set(x_20, 0, x_19); +lean_ctor_set(x_20, 1, x_4); +lean_ctor_set(x_10, 0, x_20); return x_10; } else { -lean_object* x_20; lean_object* x_21; lean_object* x_22; lean_object* x_23; -x_20 = lean_ctor_get(x_10, 0); -lean_inc(x_20); +uint8_t x_21; +x_21 = l_List_isEmpty___rarg(x_4); +if (x_21 == 0) +{ +lean_object* x_22; +lean_free_object(x_10); +lean_dec(x_17); +lean_dec(x_4); +x_22 = lean_box(0); +return x_22; +} +else +{ +lean_object* x_23; lean_object* x_24; +x_23 = l_Lean_LocalDecl_toExpr(x_17); +lean_dec(x_17); +x_24 = lean_alloc_ctor(0, 2, 0); +lean_ctor_set(x_24, 0, x_23); +lean_ctor_set(x_24, 1, x_4); +lean_ctor_set(x_10, 0, x_24); +return x_10; +} +} +} +else +{ +lean_object* x_25; uint8_t x_26; +x_25 = lean_ctor_get(x_10, 0); +lean_inc(x_25); lean_dec(x_10); -x_21 = l_Lean_LocalDecl_toExpr(x_20); -lean_dec(x_20); -x_22 = lean_alloc_ctor(0, 2, 0); -lean_ctor_set(x_22, 0, x_21); -lean_ctor_set(x_22, 1, x_4); -x_23 = lean_alloc_ctor(1, 1, 0); -lean_ctor_set(x_23, 0, x_22); -return x_23; +x_26 = l_Lean_LocalDecl_isAuxDecl(x_25); +if (x_26 == 0) +{ +lean_object* x_27; lean_object* x_28; lean_object* x_29; +x_27 = l_Lean_LocalDecl_toExpr(x_25); +lean_dec(x_25); +x_28 = lean_alloc_ctor(0, 2, 0); +lean_ctor_set(x_28, 0, x_27); +lean_ctor_set(x_28, 1, x_4); +x_29 = lean_alloc_ctor(1, 1, 0); +lean_ctor_set(x_29, 0, x_28); +return x_29; +} +else +{ +uint8_t x_30; +x_30 = l_List_isEmpty___rarg(x_4); +if (x_30 == 0) +{ +lean_object* x_31; +lean_dec(x_25); +lean_dec(x_4); +x_31 = lean_box(0); +return x_31; +} +else +{ +lean_object* x_32; lean_object* x_33; lean_object* x_34; +x_32 = l_Lean_LocalDecl_toExpr(x_25); +lean_dec(x_25); +x_33 = lean_alloc_ctor(0, 2, 0); +lean_ctor_set(x_33, 0, x_32); +lean_ctor_set(x_33, 1, x_4); +x_34 = lean_alloc_ctor(1, 1, 0); +lean_ctor_set(x_34, 0, x_33); +return x_34; +} +} } } } @@ -50501,7 +50562,7 @@ lean_dec(x_3); return x_11; } } -static lean_object* _init_l_Lean_Elab_initFn____x40_Lean_Elab_Term___hyg_12389____closed__1() { +static lean_object* _init_l_Lean_Elab_initFn____x40_Lean_Elab_Term___hyg_12398____closed__1() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; @@ -50511,7 +50572,7 @@ x_3 = lean_name_mk_string(x_1, x_2); return x_3; } } -static lean_object* _init_l_Lean_Elab_initFn____x40_Lean_Elab_Term___hyg_12389____closed__2() { +static lean_object* _init_l_Lean_Elab_initFn____x40_Lean_Elab_Term___hyg_12398____closed__2() { _start: { lean_object* x_1; @@ -50519,17 +50580,17 @@ x_1 = lean_mk_string("debug"); return x_1; } } -static lean_object* _init_l_Lean_Elab_initFn____x40_Lean_Elab_Term___hyg_12389____closed__3() { +static lean_object* _init_l_Lean_Elab_initFn____x40_Lean_Elab_Term___hyg_12398____closed__3() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; x_1 = l_Lean_Elab_Term_MVarErrorInfo_logError___closed__12; -x_2 = l_Lean_Elab_initFn____x40_Lean_Elab_Term___hyg_12389____closed__2; +x_2 = l_Lean_Elab_initFn____x40_Lean_Elab_Term___hyg_12398____closed__2; x_3 = lean_name_mk_string(x_1, x_2); return x_3; } } -lean_object* l_Lean_Elab_initFn____x40_Lean_Elab_Term___hyg_12389_(lean_object* x_1) { +lean_object* l_Lean_Elab_initFn____x40_Lean_Elab_Term___hyg_12398_(lean_object* x_1) { _start: { lean_object* x_2; lean_object* x_3; @@ -50541,7 +50602,7 @@ lean_object* x_4; lean_object* x_5; lean_object* x_6; x_4 = lean_ctor_get(x_3, 1); lean_inc(x_4); lean_dec(x_3); -x_5 = l_Lean_Elab_initFn____x40_Lean_Elab_Term___hyg_12389____closed__1; +x_5 = l_Lean_Elab_initFn____x40_Lean_Elab_Term___hyg_12398____closed__1; x_6 = l_Lean_registerTraceClass(x_5, x_4); if (lean_obj_tag(x_6) == 0) { @@ -50549,7 +50610,7 @@ lean_object* x_7; lean_object* x_8; lean_object* x_9; x_7 = lean_ctor_get(x_6, 1); lean_inc(x_7); lean_dec(x_6); -x_8 = l_Lean_Elab_initFn____x40_Lean_Elab_Term___hyg_12389____closed__3; +x_8 = l_Lean_Elab_initFn____x40_Lean_Elab_Term___hyg_12398____closed__3; x_9 = l_Lean_registerTraceClass(x_8, x_7); return x_9; } @@ -51515,13 +51576,13 @@ l___private_Lean_Elab_Term_0__Lean_Elab_Term_throwStuckAtUniverseCnstr___closed_ lean_mark_persistent(l___private_Lean_Elab_Term_0__Lean_Elab_Term_throwStuckAtUniverseCnstr___closed__3); l___private_Lean_Elab_Term_0__Lean_Elab_Term_throwStuckAtUniverseCnstr___closed__4 = _init_l___private_Lean_Elab_Term_0__Lean_Elab_Term_throwStuckAtUniverseCnstr___closed__4(); lean_mark_persistent(l___private_Lean_Elab_Term_0__Lean_Elab_Term_throwStuckAtUniverseCnstr___closed__4); -l_Lean_Elab_initFn____x40_Lean_Elab_Term___hyg_12389____closed__1 = _init_l_Lean_Elab_initFn____x40_Lean_Elab_Term___hyg_12389____closed__1(); -lean_mark_persistent(l_Lean_Elab_initFn____x40_Lean_Elab_Term___hyg_12389____closed__1); -l_Lean_Elab_initFn____x40_Lean_Elab_Term___hyg_12389____closed__2 = _init_l_Lean_Elab_initFn____x40_Lean_Elab_Term___hyg_12389____closed__2(); -lean_mark_persistent(l_Lean_Elab_initFn____x40_Lean_Elab_Term___hyg_12389____closed__2); -l_Lean_Elab_initFn____x40_Lean_Elab_Term___hyg_12389____closed__3 = _init_l_Lean_Elab_initFn____x40_Lean_Elab_Term___hyg_12389____closed__3(); -lean_mark_persistent(l_Lean_Elab_initFn____x40_Lean_Elab_Term___hyg_12389____closed__3); -res = l_Lean_Elab_initFn____x40_Lean_Elab_Term___hyg_12389_(lean_io_mk_world()); +l_Lean_Elab_initFn____x40_Lean_Elab_Term___hyg_12398____closed__1 = _init_l_Lean_Elab_initFn____x40_Lean_Elab_Term___hyg_12398____closed__1(); +lean_mark_persistent(l_Lean_Elab_initFn____x40_Lean_Elab_Term___hyg_12398____closed__1); +l_Lean_Elab_initFn____x40_Lean_Elab_Term___hyg_12398____closed__2 = _init_l_Lean_Elab_initFn____x40_Lean_Elab_Term___hyg_12398____closed__2(); +lean_mark_persistent(l_Lean_Elab_initFn____x40_Lean_Elab_Term___hyg_12398____closed__2); +l_Lean_Elab_initFn____x40_Lean_Elab_Term___hyg_12398____closed__3 = _init_l_Lean_Elab_initFn____x40_Lean_Elab_Term___hyg_12398____closed__3(); +lean_mark_persistent(l_Lean_Elab_initFn____x40_Lean_Elab_Term___hyg_12398____closed__3); +res = l_Lean_Elab_initFn____x40_Lean_Elab_Term___hyg_12398_(lean_io_mk_world()); if (lean_io_result_is_error(res)) return res; lean_dec_ref(res); return lean_io_result_mk_ok(lean_box(0)); diff --git a/stage0/stdlib/Lean/Parser/Command.c b/stage0/stdlib/Lean/Parser/Command.c index e292ecb21e..37c64a6470 100644 --- a/stage0/stdlib/Lean/Parser/Command.c +++ b/stage0/stdlib/Lean/Parser/Command.c @@ -31,6 +31,7 @@ lean_object* l_Lean_Parser_Command_eraseAttr; static lean_object* l_Lean_Parser_Command_declModifiers_formatter___closed__22; static lean_object* l_Lean_Parser_Command_check_formatter___closed__2; static lean_object* l_Lean_Parser_Command_mutual___elambda__1___closed__8; +static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__29; static lean_object* l_Lean_Parser_Command_structure___elambda__1___closed__18; static lean_object* l_Lean_Parser_Command_init__quot___closed__3; static lean_object* l_Lean_Parser_Command_theorem___elambda__1___closed__11; @@ -70,6 +71,7 @@ static lean_object* l_Lean_Parser_Command_printAxioms___elambda__1___closed__7; static lean_object* l_Lean_Parser_Command_moduleDoc___elambda__1___closed__10; static lean_object* l_Lean_Parser_Command_structCtor___closed__8; static lean_object* l_Lean_Parser_Command_namedPrio___elambda__1___closed__1; +static lean_object* l_Lean_Parser_Command_nonrec___elambda__1___closed__9; static lean_object* l_Lean_Parser_Command_structExplicitBinder_parenthesizer___closed__1; static lean_object* l_Lean_Parser_Command_optDeriving_parenthesizer___closed__3; static lean_object* l_Lean_Parser_Command_optDeriving___closed__2; @@ -129,6 +131,7 @@ static lean_object* l_Lean_Parser_Command_openRenamingItem___elambda__1___closed static lean_object* l_Lean_Parser_Command_set__option___elambda__1___closed__16; static lean_object* l_Lean_Parser_Command_declSig___elambda__1___closed__3; static lean_object* l_Lean_Parser_Command_openRenamingItem___closed__6; +lean_object* l_Lean_Parser_Command_nonrec_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_quot___closed__8; static lean_object* l_Lean_Parser_Command_mutual___elambda__1___closed__4; static lean_object* l_Lean_Parser_Command_axiom_parenthesizer___closed__5; @@ -138,6 +141,7 @@ static lean_object* l_Lean_Parser_Command_set__option_formatter___closed__6; static lean_object* l_Lean_Parser_Command_builtin__initialize___elambda__1___closed__3; static lean_object* l_Lean_Parser_Command_export___elambda__1___closed__14; static lean_object* l_Lean_Parser_Command_mutual___closed__4; +static lean_object* l_Lean_Parser_Command_nonrec___closed__7; lean_object* l_Lean_Parser_Command_deriving___elambda__1(lean_object*, lean_object*); static lean_object* l_Lean_Parser_Command_export_parenthesizer___closed__7; static lean_object* l_Lean_Parser_Command_structCtor___elambda__1___closed__11; @@ -146,11 +150,11 @@ static lean_object* l_Lean_Parser_Command_structCtor_formatter___closed__1; static lean_object* l_Lean_Parser_Command_declaration_formatter___closed__15; static lean_object* l_Lean_Parser_Tactic_set__option___closed__1; static lean_object* l_Lean_Parser_Command_namedPrio___elambda__1___closed__13; -static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__22; lean_object* l___regBuiltin_Lean_Parser_Term_precheckedQuot_parenthesizer(lean_object*); static lean_object* l_Lean_Parser_Term_quot___elambda__1___lambda__2___closed__1; static lean_object* l_Lean_Parser_Term_quot___elambda__1___closed__7; lean_object* l_Lean_Parser_Command_exit___elambda__1(lean_object*, lean_object*); +static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__3; static lean_object* l_Lean_Parser_Command_openScoped___elambda__1___closed__9; static lean_object* l_Lean_Parser_Command_classInductive_formatter___closed__3; static lean_object* l_Lean_Parser_Command_declModifiers_formatter___closed__18; @@ -165,12 +169,14 @@ static lean_object* l_Lean_Parser_Command_deriving_parenthesizer___closed__7; static lean_object* l___regBuiltin_Lean_Parser_Tactic_set__option_formatter___closed__2; lean_object* l_Lean_Parser_Command_openDecl; static lean_object* l_Lean_Parser_Command_deriving_formatter___closed__3; +static lean_object* l_Lean_Parser_Command_nonrec___elambda__1___closed__8; lean_object* l_Lean_Parser_andthenInfo(lean_object*, lean_object*); static lean_object* l_Lean_Parser_Command_mutual_formatter___closed__2; static lean_object* l_Lean_Parser_Command_structFields_parenthesizer___closed__7; static lean_object* l_Lean_Parser_Command_structExplicitBinder_parenthesizer___closed__8; static lean_object* l_Lean_Parser_Command_instance___closed__4; static lean_object* l_Lean_Parser_Command_ctor___elambda__1___closed__4; +static lean_object* l_Lean_Parser_Command_declModifiers_formatter___closed__28; static lean_object* l_Lean_Parser_Command_mutual___elambda__1___closed__27; static lean_object* l_Lean_Parser_Command_openScoped_formatter___closed__2; lean_object* l___regBuiltinParser_Lean_Parser_Command_variable(lean_object*); @@ -213,6 +219,7 @@ static lean_object* l_Lean_Parser_Command_synth_formatter___closed__4; lean_object* l_Lean_Parser_Term_leftArrow_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l___regBuiltinParser_Lean_Parser_Command_section(lean_object*); static lean_object* l_Lean_Parser_Command_builtin__initialize___elambda__1___closed__15; +static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__25; static lean_object* l_Lean_Parser_Command_synth_parenthesizer___closed__3; lean_object* l_Lean_Parser_ppSpace_parenthesizer___boxed(lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Command_synth___closed__8; @@ -240,7 +247,6 @@ static lean_object* l_Lean_Parser_Command_genInjectiveTheorems_formatter___close static lean_object* l_Lean_Parser_Command_theorem___closed__8; static lean_object* l_Lean_Parser_Term_open___elambda__1___closed__13; static lean_object* l_Lean_Parser_Command_check___elambda__1___closed__14; -static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__6; static lean_object* l_Lean_Parser_Command_universe___elambda__1___closed__10; static lean_object* l_Lean_Parser_Command_declModifiers_formatter___closed__5; static lean_object* l_Lean_Parser_Command_structFields___elambda__1___closed__24; @@ -287,18 +293,19 @@ lean_object* lean_name_mk_string(lean_object*, lean_object*); static lean_object* l_Lean_Parser_Command_ctor___elambda__1___closed__15; lean_object* l___regBuiltin_Lean_Parser_Command_deriving_parenthesizer(lean_object*); static lean_object* l_Lean_Parser_Command_resolve__name___elambda__1___closed__1; -static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__5; static lean_object* l_Lean_Parser_Command_print_formatter___closed__2; lean_object* l_Lean_Parser_Term_attributes___elambda__1(lean_object*, lean_object*); lean_object* l_Lean_Parser_Command_declModifiers___boxed(lean_object*); static lean_object* l_Lean_Parser_Command_extends_parenthesizer___closed__1; static lean_object* l_Lean_Parser_Command_protected___elambda__1___closed__2; +static lean_object* l_Lean_Parser_Command_nonrec___closed__5; static lean_object* l___regBuiltin_Lean_Parser_Term_quot_parenthesizer___closed__1; static lean_object* l_Lean_Parser_Command_set__option___elambda__1___closed__6; lean_object* l_Lean_Parser_Command_end_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_set__option___closed__1; static lean_object* l_Lean_Parser_Command_abbrev___closed__10; static lean_object* l_Lean_Parser_Command_noncomputable___elambda__1___closed__11; +static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__2; static lean_object* l_Lean_Parser_Term_quot___elambda__1___closed__22; static lean_object* l_Lean_Parser_Command_declValSimple___elambda__1___closed__13; static lean_object* l_Lean_Parser_Command_declModifiers___closed__17; @@ -330,6 +337,7 @@ lean_object* l_Lean_Parser_sepBy1_parenthesizer(lean_object*, lean_object*, lean static lean_object* l_Lean_Parser_Command_axiom_parenthesizer___closed__3; static lean_object* l_Lean_Parser_Command_structImplicitBinder___elambda__1___closed__6; static lean_object* l_Lean_Parser_Command_def___elambda__1___closed__8; +static lean_object* l_Lean_Parser_Command_nonrec___closed__3; static lean_object* l_Lean_Parser_Command_namedPrio___elambda__1___closed__6; lean_object* l_Lean_Parser_Command_attribute_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Command_declaration_formatter___closed__7; @@ -339,7 +347,6 @@ static lean_object* l_Lean_Parser_Command_visibility_formatter___closed__2; static lean_object* l_Lean_Parser_Tactic_open_parenthesizer___closed__5; static lean_object* l_Lean_Parser_Command_partial___elambda__1___closed__7; static lean_object* l_Lean_Parser_Command_namespace___elambda__1___closed__11; -static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__33; static lean_object* l_Lean_Parser_Term_quot___elambda__1___closed__18; static lean_object* l_Lean_Parser_Command_export___closed__8; static lean_object* l_Lean_Parser_Command_printAxioms___closed__7; @@ -382,12 +389,12 @@ static lean_object* l_Lean_Parser_Command_resolve__name___elambda__1___closed__2 static lean_object* l_Lean_Parser_Command_abbrev_formatter___closed__8; static lean_object* l_Lean_Parser_Command_in___closed__3; static lean_object* l_Lean_Parser_Command_print___elambda__1___closed__5; +static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__1; static lean_object* l_Lean_Parser_Command_inductive___elambda__1___closed__24; static lean_object* l___regBuiltin_Lean_Parser_Term_set__option_parenthesizer___closed__2; static lean_object* l_Lean_Parser_Command_namedPrio___elambda__1___closed__2; lean_object* l_Lean_Parser_Command_export_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_doSeq___elambda__1(lean_object*, lean_object*); -static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__30; static lean_object* l_Lean_Parser_Command_print___elambda__1___closed__14; static lean_object* l_Lean_Parser_Command_optDeriving___elambda__1___closed__1; static lean_object* l_Lean_Parser_Command_init__quot___closed__5; @@ -396,7 +403,6 @@ static lean_object* l_Lean_Parser_Command_extends___elambda__1___closed__8; static lean_object* l_Lean_Parser_Command_partial___closed__7; static lean_object* l_Lean_Parser_Command_check__failure___elambda__1___closed__3; lean_object* l_Lean_Parser_Term_binderTactic_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); -static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__18; lean_object* l_Lean_PrettyPrinter_Formatter_atomic_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Command_optDeclSig_formatter___closed__7; static lean_object* l_Lean_Parser_Command_declSig___elambda__1___closed__14; @@ -427,7 +433,7 @@ static lean_object* l_Lean_Parser_Command_optDeclSig_parenthesizer___closed__6; lean_object* l___regBuiltinParser_Lean_Parser_Term_open(lean_object*); static lean_object* l_Lean_Parser_Command_ctor___elambda__1___closed__2; static lean_object* l_Lean_Parser_Command_declId___elambda__1___closed__7; -static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__15; +static lean_object* l_Lean_Parser_Command_nonrec_parenthesizer___closed__2; static lean_object* l_Lean_Parser_Command_declModifiers___closed__21; lean_object* l___regBuiltin_Lean_Parser_Command_universe_parenthesizer(lean_object*); static lean_object* l_Lean_Parser_Tactic_set__option___elambda__1___closed__5; @@ -510,7 +516,6 @@ lean_object* l_Lean_Parser_Command_mutual_parenthesizer(lean_object*, lean_objec static lean_object* l_Lean_Parser_Command_print___elambda__1___closed__13; lean_object* l___regBuiltinParser_Lean_Parser_Command_initialize(lean_object*); lean_object* l_Lean_PrettyPrinter_Formatter_orelse_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); -static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__2; static lean_object* l_Lean_Parser_Command_in___elambda__1___closed__1; static lean_object* l_Lean_Parser_Command_inductive_formatter___closed__6; static lean_object* l_Lean_Parser_Command_declSig___elambda__1___closed__16; @@ -524,6 +529,7 @@ static lean_object* l_Lean_Parser_Command_abbrev_formatter___closed__5; static lean_object* l_Lean_Parser_Command_instance___elambda__1___closed__5; static lean_object* l_Lean_Parser_Command_initialize___elambda__1___closed__4; static lean_object* l_Lean_Parser_Command_export___elambda__1___closed__7; +static lean_object* l_Lean_Parser_Command_nonrec_parenthesizer___closed__3; static lean_object* l_Lean_Parser_Command_moduleDoc___closed__2; static lean_object* l_Lean_Parser_Command_openRenamingItem___elambda__1___closed__6; static lean_object* l_Lean_Parser_Command_declModifiers___closed__2; @@ -594,6 +600,7 @@ static lean_object* l_Lean_Parser_Term_quot___closed__9; static lean_object* l_Lean_Parser_Command_instance___elambda__1___closed__15; static lean_object* l_Lean_Parser_Command_theorem_formatter___closed__5; static lean_object* l_Lean_Parser_Command_inductive___closed__5; +static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__33; static lean_object* l_Lean_Parser_Command_declModifiers_parenthesizer___closed__14; static lean_object* l_Lean_Parser_Command_initialize___elambda__1___closed__27; static lean_object* l___regBuiltin_Lean_Parser_Term_quot_parenthesizer___closed__3; @@ -619,6 +626,7 @@ static lean_object* l_Lean_Parser_Command_set__option___elambda__1___closed__3; static lean_object* l_Lean_Parser_Command_structSimpleBinder___closed__4; static lean_object* l_Lean_Parser_Command_instance___elambda__1___closed__18; static lean_object* l_Lean_Parser_Command_structImplicitBinder___elambda__1___closed__14; +static lean_object* l_Lean_Parser_Command_declModifiers_parenthesizer___closed__28; lean_object* l_Lean_Parser_Command_mutual; static lean_object* l_Lean_Parser_Command_structure___elambda__1___closed__7; static lean_object* l_Lean_Parser_Term_set__option___closed__6; @@ -628,6 +636,7 @@ static lean_object* l_Lean_Parser_Command_structure_formatter___closed__4; static lean_object* l_Lean_Parser_Command_structure___closed__1; static lean_object* l_Lean_Parser_Command_structureTk___elambda__1___closed__1; static lean_object* l_Lean_Parser_Command_eraseAttr_parenthesizer___closed__3; +static lean_object* l_Lean_Parser_Command_nonrec___elambda__1___closed__13; static lean_object* l_Lean_Parser_Command_optDeriving_parenthesizer___closed__5; static lean_object* l_Lean_Parser_Command_check___closed__5; static lean_object* l_Lean_Parser_Command_def___elambda__1___closed__3; @@ -644,11 +653,12 @@ lean_object* l_Lean_Parser_Command_reduce___elambda__1(lean_object*, lean_object static lean_object* l_Lean_Parser_Command_namedPrio___closed__5; static lean_object* l_Lean_Parser_Command_visibility_parenthesizer___closed__1; static lean_object* l_Lean_Parser_Command_declaration_parenthesizer___closed__17; +static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__30; static lean_object* l_Lean_Parser_Command_classInductive___elambda__1___closed__5; static lean_object* l_Lean_Parser_Command_exit___elambda__1___closed__9; static lean_object* l_Lean_Parser_Command_declValEqns_formatter___closed__3; -static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__1; static lean_object* l_Lean_Parser_Command_structExplicitBinder___elambda__1___closed__3; +static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__18; static lean_object* l_Lean_Parser_Command_openHiding_parenthesizer___closed__6; lean_object* l_Lean_Parser_Tactic_set__option___elambda__1(lean_object*, lean_object*); static lean_object* l_Lean_Parser_Command_open_parenthesizer___closed__5; @@ -696,6 +706,7 @@ lean_object* l_Lean_Parser_ParserState_mkTrailingNode(lean_object*, lean_object* static lean_object* l_Lean_Parser_Command_derivingClasses_formatter___closed__3; static lean_object* l_Lean_Parser_Command_openScoped_formatter___closed__4; static lean_object* l_Lean_Parser_Command_namedPrio___elambda__1___closed__15; +static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__15; static lean_object* l_Lean_Parser_Command_structExplicitBinder___elambda__1___closed__18; static lean_object* l_Lean_Parser_Term_precheckedQuot_formatter___closed__2; static lean_object* l_Lean_Parser_Command_init__quot_formatter___closed__1; @@ -779,7 +790,6 @@ lean_object* l_Lean_Parser_Term_attrInstance_formatter(lean_object*, lean_object static lean_object* l_Lean_Parser_Command_exit___closed__6; static lean_object* l_Lean_Parser_Command_builtin__initialize_parenthesizer___closed__3; static lean_object* l_Lean_Parser_Command_eval_parenthesizer___closed__4; -static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__29; static lean_object* l_Lean_Parser_Command_derivingClasses___closed__12; static lean_object* l_Lean_Parser_Command_print___elambda__1___closed__2; static lean_object* l_Lean_Parser_Command_structure___elambda__1___closed__10; @@ -877,11 +887,11 @@ static lean_object* l_Lean_Parser_Command_def_parenthesizer___closed__2; static lean_object* l_Lean_Parser_Command_check__failure___closed__3; static lean_object* l_Lean_Parser_Command_derivingClasses_parenthesizer___closed__6; static lean_object* l_Lean_Parser_Command_moduleDoc_parenthesizer___closed__2; +static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__22; static lean_object* l_Lean_Parser_Command_eval___closed__6; static lean_object* l_Lean_Parser_Command_unsafe_parenthesizer___closed__2; lean_object* l_Lean_Parser_Command_instance___elambda__1(lean_object*, lean_object*); static lean_object* l___regBuiltin_Lean_Parser_Command_check__failure_parenthesizer___closed__2; -static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__3; static lean_object* l_Lean_Parser_Command_structExplicitBinder_formatter___closed__2; static lean_object* l_Lean_Parser_Term_precheckedQuot_formatter___closed__4; lean_object* l_Lean_Parser_Command_set__option_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); @@ -933,7 +943,6 @@ lean_object* l_Lean_Parser_checkColGeFn___boxed(lean_object*, lean_object*, lean static lean_object* l_Lean_Parser_Command_example___elambda__1___closed__8; lean_object* l_Lean_KeyedDeclsAttribute_addBuiltin___rarg(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l___regBuiltin_Lean_Parser_Command_print_formatter(lean_object*); -static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__25; static lean_object* l_Lean_Parser_Command_structSimpleBinder___closed__9; static lean_object* l_Lean_Parser_Command_classTk___closed__5; static lean_object* l_Lean_Parser_Command_section___elambda__1___closed__1; @@ -985,6 +994,7 @@ lean_object* l_Lean_Parser_Command_printAxioms_parenthesizer(lean_object*, lean_ static lean_object* l_Lean_Parser_Command_partial_formatter___closed__3; static lean_object* l___regBuiltin_Lean_Parser_Command_end_parenthesizer___closed__1; static lean_object* l_Lean_Parser_Command_declValSimple___elambda__1___closed__14; +static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__6; static lean_object* l_Lean_Parser_Command_eraseAttr___elambda__1___closed__10; static lean_object* l_Lean_Parser_Command_ctor_parenthesizer___closed__4; static lean_object* l_Lean_Parser_Command_openSimple___elambda__1___closed__1; @@ -1047,8 +1057,10 @@ lean_object* l___regBuiltin_Lean_Parser_Command_init__quot_parenthesizer(lean_ob static lean_object* l_Lean_Parser_Term_quot___elambda__1___closed__33; static lean_object* l_Lean_Parser_Command_classTk___elambda__1___closed__6; static lean_object* l_Lean_Parser_Command_unsafe___elambda__1___closed__12; +lean_object* l_Lean_Parser_Command_nonrec; static lean_object* l_Lean_Parser_Command_genInjectiveTheorems_parenthesizer___closed__4; static lean_object* l_Lean_Parser_Command_namespace___closed__2; +static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__17; static lean_object* l_Lean_Parser_Tactic_set__option___elambda__1___closed__2; lean_object* l_Lean_Parser_many1Fn(lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Command_openDecl_parenthesizer___closed__1; @@ -1062,6 +1074,7 @@ lean_object* l_Lean_Parser_Command_openRenaming___elambda__1(lean_object*, lean_ static lean_object* l_Lean_Parser_Command_structSimpleBinder___elambda__1___closed__11; static lean_object* l_Lean_Parser_Command_declaration___closed__16; static lean_object* l_Lean_Parser_Command_theorem___closed__6; +static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__8; static lean_object* l_Lean_Parser_Command_example___elambda__1___closed__10; lean_object* l_Lean_Parser_Command_optionValue___elambda__1(lean_object*, lean_object*); static lean_object* l_Lean_Parser_Command_openHiding___closed__4; @@ -1101,7 +1114,6 @@ static lean_object* l_Lean_Parser_Command_reduce___closed__5; static lean_object* l_Lean_Parser_Command_declVal_formatter___closed__3; static lean_object* l_Lean_Parser_Command_namedPrio___elambda__1___closed__29; static lean_object* l_Lean_Parser_Command_declValSimple_formatter___closed__6; -static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__23; lean_object* l_Lean_Parser_Command_private_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Command_classInductive_formatter___closed__6; static lean_object* l_Lean_Parser_Command_noncomputable___closed__7; @@ -1171,9 +1183,9 @@ static lean_object* l_Lean_Parser_Command_openRenaming_formatter___closed__3; static lean_object* l_Lean_Parser_Command_check___elambda__1___closed__1; static lean_object* l_Lean_Parser_Command_set__option___elambda__1___closed__4; static lean_object* l_Lean_Parser_Command_section_parenthesizer___closed__2; -static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__35; static lean_object* l_Lean_Parser_Command_set__option___elambda__1___closed__8; static lean_object* l_Lean_Parser_Command_declValSimple___elambda__1___closed__1; +static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__9; lean_object* l___regBuiltin_Lean_Parser_Tactic_open_parenthesizer(lean_object*); static lean_object* l_Lean_Parser_Command_axiom_parenthesizer___closed__2; static lean_object* l_Lean_Parser_Command_mutual___elambda__1___closed__12; @@ -1208,10 +1220,12 @@ lean_object* l_Lean_Parser_Command_noncomputable___elambda__1(lean_object*, lean static lean_object* l_Lean_Parser_Command_resolve__name___elambda__1___closed__4; static lean_object* l_Lean_Parser_Command_structSimpleBinder_formatter___closed__3; static lean_object* l_Lean_Parser_Command_unsafe_formatter___closed__2; +lean_object* l_Lean_Parser_Command_nonrec_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Command_inferMod___closed__5; static lean_object* l_Lean_Parser_Command_namedPrio___elambda__1___closed__25; static lean_object* l_Lean_Parser_Term_set__option___elambda__1___closed__10; static lean_object* l_Lean_Parser_Command_namedPrio_formatter___closed__4; +static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__27; static lean_object* l_Lean_Parser_Command_eval___elambda__1___closed__12; static lean_object* l_Lean_Parser_Command_structInstBinder___elambda__1___closed__8; static lean_object* l_Lean_Parser_Command_initialize___elambda__1___closed__15; @@ -1232,7 +1246,7 @@ lean_object* l_Lean_Parser_Command_visibility_formatter(lean_object*, lean_objec lean_object* l___regBuiltin_Lean_Parser_Command_in_parenthesizer(lean_object*); static lean_object* l_Lean_Parser_Command_structFields_parenthesizer___closed__6; static lean_object* l_Lean_Parser_Command_openSimple_parenthesizer___closed__1; -lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473_(lean_object*); +lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489_(lean_object*); static lean_object* l_Lean_Parser_Command_reduce___elambda__1___closed__8; static lean_object* l_Lean_Parser_Command_initialize___closed__4; static lean_object* l_Lean_Parser_Command_def___elambda__1___closed__4; @@ -1305,7 +1319,6 @@ static lean_object* l_Lean_Parser_Command_structure_parenthesizer___closed__3; static lean_object* l___regBuiltin_Lean_Parser_Command_check_formatter___closed__2; static lean_object* l_Lean_Parser_Command_theorem_parenthesizer___closed__7; static lean_object* l_Lean_Parser_Command_export_parenthesizer___closed__1; -static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__34; lean_object* l_Lean_Parser_Command_reduce_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Command_structSimpleBinder_parenthesizer___closed__2; static lean_object* l_Lean_Parser_Command_reduce___closed__7; @@ -1319,6 +1332,7 @@ uint8_t lean_nat_dec_eq(lean_object*, lean_object*); static lean_object* l_Lean_Parser_Command_structImplicitBinder___elambda__1___closed__7; lean_object* l_Lean_Parser_Command_openScoped_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Command_mutual_formatter___closed__3; +static lean_object* l_Lean_Parser_Command_nonrec_parenthesizer___closed__1; static lean_object* l_Lean_Parser_Command_structure___closed__10; static lean_object* l_Lean_Parser_Command_attribute_formatter___closed__8; lean_object* l_Lean_Parser_nonReservedSymbolFnAux(lean_object*, lean_object*, lean_object*, lean_object*); @@ -1345,6 +1359,7 @@ static lean_object* l_Lean_Parser_Command_end___closed__5; static lean_object* l_Lean_Parser_Command_namedPrio_formatter___closed__8; static lean_object* l_Lean_Parser_Term_quot___elambda__1___closed__21; static lean_object* l_Lean_Parser_Term_quot___elambda__1___closed__38; +static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__4; extern lean_object* l_Lean_Parser_Term_optType; static lean_object* l_Lean_Parser_Command_openRenaming___elambda__1___closed__12; lean_object* l___regBuiltin_Lean_Parser_Command_section_parenthesizer(lean_object*); @@ -1364,7 +1379,6 @@ static lean_object* l_Lean_Parser_Command_example_parenthesizer___closed__3; static lean_object* l_Lean_Parser_Command_structFields___elambda__1___closed__23; static lean_object* l_Lean_Parser_Command_classInductive___closed__5; static lean_object* l_Lean_Parser_Tactic_set__option_parenthesizer___closed__2; -static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__13; static lean_object* l_Lean_Parser_Term_quot___elambda__1___closed__34; static lean_object* l_Lean_Parser_Command_reduce___elambda__1___closed__13; static lean_object* l_Lean_Parser_Command_open___closed__2; @@ -1426,7 +1440,6 @@ static lean_object* l_Lean_Parser_Term_quot___elambda__1___closed__9; static lean_object* l_Lean_Parser_Command_inductive_formatter___closed__11; static lean_object* l_Lean_Parser_Command_export___closed__9; static lean_object* l_Lean_Parser_Command_reduce___elambda__1___closed__6; -static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__21; lean_object* l_Lean_Parser_Command_check__failure___elambda__1(lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_simpleBinderWithoutType_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_Command_openScoped; @@ -1438,6 +1451,7 @@ static lean_object* l_Lean_Parser_Command_end___elambda__1___closed__11; lean_object* l_Lean_Parser_Term_precheckedQuot___elambda__1(lean_object*, lean_object*); lean_object* l___regBuiltin_Lean_Parser_Command_printAxioms_formatter(lean_object*); static lean_object* l_Lean_Parser_Command_init__quot_parenthesizer___closed__1; +static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__11; lean_object* l_Lean_Parser_Command_commentBody_parenthesizer___boxed(lean_object*); static lean_object* l___regBuiltin_Lean_Parser_Command_check__failure_formatter___closed__2; static lean_object* l_Lean_Parser_Command_openRenaming_parenthesizer___closed__8; @@ -1468,6 +1482,7 @@ static lean_object* l_Lean_Parser_Command_optDeclSig_parenthesizer___closed__7; static lean_object* l_Lean_Parser_Command_declModifiers_parenthesizer___closed__26; static lean_object* l_Lean_Parser_Command_derivingClasses___closed__11; static lean_object* l_Lean_Parser_Command_openSimple_formatter___closed__2; +static lean_object* l_Lean_Parser_Command_declModifiers___closed__30; static lean_object* l_Lean_Parser_Command_initialize___closed__3; static lean_object* l_Lean_Parser_Command_mutual___closed__11; lean_object* l___regBuiltin_Lean_Parser_Term_quot_formatter(lean_object*); @@ -1513,6 +1528,7 @@ lean_object* l_Lean_Parser_Tactic_set__option_formatter(lean_object*, lean_objec static lean_object* l_Lean_Parser_Command_structFields_parenthesizer___closed__9; static lean_object* l_Lean_Parser_Term_set__option___closed__9; static lean_object* l_Lean_Parser_Command_extends___elambda__1___closed__15; +static lean_object* l_Lean_Parser_Command_nonrec___elambda__1___closed__5; static lean_object* l_Lean_Parser_Command_inductive___elambda__1___closed__29; static lean_object* l_Lean_Parser_Command_initialize___elambda__1___closed__25; static lean_object* l_Lean_Parser_Command_structureTk___elambda__1___closed__3; @@ -1523,6 +1539,7 @@ static lean_object* l_Lean_Parser_Command_end_parenthesizer___closed__4; static lean_object* l_Lean_Parser_Command_declValSimple___elambda__1___closed__2; static lean_object* l_Lean_Parser_Command_partial___elambda__1___closed__10; static lean_object* l_Lean_Parser_Command_printAxioms___elambda__1___closed__10; +static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__34; lean_object* l___regBuiltin_Lean_Parser_Term_open_formatter(lean_object*); static lean_object* l_Lean_Parser_Command_protected___elambda__1___closed__3; static lean_object* l_Lean_Parser_Command_genInjectiveTheorems___closed__7; @@ -1559,7 +1576,6 @@ static lean_object* l_Lean_Parser_Command_optDeclSig___elambda__1___closed__3; static lean_object* l_Lean_Parser_Command_check__failure___closed__4; static lean_object* l_Lean_Parser_Command_private___elambda__1___closed__13; static lean_object* l_Lean_Parser_Command_print___closed__5; -static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__4; static lean_object* l_Lean_Parser_Command_in___elambda__1___closed__5; static lean_object* l_Lean_Parser_Tactic_set__option___closed__5; lean_object* l_Lean_Parser_Command_genInjectiveTheorems_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); @@ -1634,6 +1650,7 @@ lean_object* l___regBuiltin_Lean_Parser_Command_init__quot_formatter(lean_object static lean_object* l_Lean_Parser_Command_unsafe___closed__5; static lean_object* l_Lean_Parser_Command_mutual___closed__9; static lean_object* l_Lean_Parser_Command_openScoped___closed__2; +static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__21; static lean_object* l_Lean_Parser_Command_structure_parenthesizer___closed__14; static lean_object* l_Lean_Parser_Command_classInductive___closed__3; static lean_object* l_Lean_Parser_Command_resolve__name___closed__7; @@ -1654,8 +1671,8 @@ lean_object* l___regBuiltinParser_Lean_Parser_Command_check__failure(lean_object static lean_object* l_Lean_Parser_Command_namespace___elambda__1___closed__2; static lean_object* l_Lean_Parser_Command_section___elambda__1___closed__3; static lean_object* l_Lean_Parser_Command_export_parenthesizer___closed__3; -static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__11; static lean_object* l_Lean_Parser_Command_attribute_formatter___closed__9; +static lean_object* l_Lean_Parser_Command_nonrec___elambda__1___closed__3; lean_object* l_Lean_Parser_Command_variable_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Command_optDeclSig_formatter___closed__6; static lean_object* l_Lean_Parser_Command_optDeriving___elambda__1___closed__11; @@ -1729,7 +1746,6 @@ static lean_object* l_Lean_Parser_Command_declaration_formatter___closed__14; static lean_object* l_Lean_Parser_Command_namedPrio___elambda__1___closed__18; static lean_object* l_Lean_Parser_Term_open___closed__4; static lean_object* l_Lean_Parser_Command_optionValue___closed__4; -static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__17; static lean_object* l_Lean_Parser_Command_structInstBinder___closed__8; lean_object* l_Lean_Parser_Command_theorem; static lean_object* l_Lean_Parser_Command_structure_formatter___closed__11; @@ -1741,7 +1757,6 @@ static lean_object* l_Lean_Parser_Command_set__option___elambda__1___closed__14; static lean_object* l_Lean_Parser_Command_end_parenthesizer___closed__1; static lean_object* l_Lean_Parser_Command_optDeclSig_formatter___closed__1; static lean_object* l_Lean_Parser_Command_structImplicitBinder___closed__5; -static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__8; lean_object* l_Lean_Parser_Term_quot___elambda__1___lambda__2___boxed(lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Command_optDeclSig_parenthesizer___closed__5; static lean_object* l_Lean_Parser_Command_in___elambda__1___closed__6; @@ -1779,6 +1794,7 @@ static lean_object* l_Lean_Parser_Command_initialize_parenthesizer___closed__9; static lean_object* l_Lean_Parser_Command_structure___elambda__1___closed__26; static lean_object* l_Lean_Parser_Command_optDeclSig_parenthesizer___closed__3; static lean_object* l_Lean_Parser_Command_attribute___elambda__1___closed__19; +static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__23; static lean_object* l_Lean_Parser_Command_openHiding_parenthesizer___closed__2; static lean_object* l_Lean_Parser_Command_variable___elambda__1___closed__4; static lean_object* l_Lean_Parser_Command_variable_parenthesizer___closed__2; @@ -1808,6 +1824,7 @@ static lean_object* l_Lean_Parser_Command_reduce___elambda__1___closed__9; lean_object* l_Lean_Parser_Command_init__quot_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Command_example___elambda__1___closed__3; static lean_object* l_Lean_Parser_Command_variable___elambda__1___closed__8; +static lean_object* l_Lean_Parser_Command_nonrec___elambda__1___closed__6; static lean_object* l_Lean_Parser_Tactic_set__option_formatter___closed__4; static lean_object* l_Lean_Parser_Command_openHiding___elambda__1___closed__10; static lean_object* l_Lean_Parser_Command_partial___closed__3; @@ -1817,6 +1834,7 @@ static lean_object* l_Lean_Parser_Command_structExplicitBinder___closed__2; static lean_object* l_Lean_Parser_Command_set__option_parenthesizer___closed__6; static lean_object* l_Lean_Parser_Command_openRenaming___elambda__1___closed__1; lean_object* l_Lean_Parser_Command_eval; +static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__13; static lean_object* l_Lean_Parser_Command_end_parenthesizer___closed__2; static lean_object* l_Lean_Parser_Command_visibility___closed__3; static lean_object* l_Lean_Parser_Command_genInjectiveTheorems_parenthesizer___closed__1; @@ -1858,9 +1876,9 @@ static lean_object* l_Lean_Parser_Command_open___elambda__1___closed__7; static lean_object* l_Lean_Parser_Command_universe___elambda__1___closed__6; static lean_object* l_Lean_Parser_Command_noncomputable___closed__6; static lean_object* l_Lean_Parser_Command_namespace___elambda__1___closed__1; +static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__35; static lean_object* l_Lean_Parser_Command_declaration___closed__11; static lean_object* l_Lean_Parser_Command_eval___closed__8; -static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__9; lean_object* l_Lean_PrettyPrinter_Formatter_many1Unbox_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Command_structExplicitBinder_parenthesizer___closed__5; static lean_object* l_Lean_Parser_Command_declVal___closed__2; @@ -1881,7 +1899,6 @@ static lean_object* l_Lean_Parser_Command_structCtor_parenthesizer___closed__2; static lean_object* l_Lean_Parser_Command_openHiding_parenthesizer___closed__1; static lean_object* l_Lean_Parser_Term_quot_parenthesizer___closed__7; static lean_object* l_Lean_Parser_Command_constant___elambda__1___closed__10; -static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__27; lean_object* l_Lean_Parser_Command_open_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Command_open___closed__7; static lean_object* l_Lean_Parser_Command_structCtor___closed__1; @@ -2052,6 +2069,7 @@ static lean_object* l_Lean_Parser_Command_moduleDoc___elambda__1___closed__6; static lean_object* l_Lean_Parser_Tactic_open_formatter___closed__3; static lean_object* l_Lean_Parser_Command_set__option___closed__3; lean_object* l_Lean_Parser_Term_matchAltsWhereDecls_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); +static lean_object* l_Lean_Parser_Command_nonrec_formatter___closed__1; static lean_object* l_Lean_Parser_Command_declValEqns___elambda__1___closed__5; static lean_object* l_Lean_Parser_Command_universe___closed__1; static lean_object* l_Lean_Parser_Command_protected___closed__5; @@ -2060,9 +2078,9 @@ static lean_object* l_Lean_Parser_Command_openRenamingItem___elambda__1___closed static lean_object* l_Lean_Parser_Command_export___elambda__1___closed__11; static lean_object* l_Lean_Parser_Command_eval___closed__3; lean_object* l___regBuiltin_Lean_Parser_Command_variable_parenthesizer(lean_object*); +static lean_object* l_Lean_Parser_Command_nonrec_formatter___closed__2; static lean_object* l_Lean_Parser_Command_partial___elambda__1___closed__8; static lean_object* l_Lean_Parser_Command_namedPrio_formatter___closed__5; -static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__31; lean_object* l_Lean_Parser_Command_structSimpleBinder_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l___regBuiltin_Lean_Parser_Command_namespace_parenthesizer___closed__1; static lean_object* l_Lean_Parser_Term_set__option___closed__10; @@ -2103,6 +2121,7 @@ static lean_object* l_Lean_Parser_Command_instance___elambda__1___closed__17; lean_object* l_Lean_Parser_Term_ident_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Command_open_formatter___closed__3; static lean_object* l_Lean_Parser_Command_optDeriving___elambda__1___closed__7; +static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__12; static lean_object* l_Lean_Parser_Command_example___elambda__1___closed__11; static lean_object* l_Lean_Parser_Command_ctor_formatter___closed__4; static lean_object* l_Lean_Parser_Command_genInjectiveTheorems___closed__5; @@ -2222,7 +2241,6 @@ static lean_object* l_Lean_Parser_Command_declValSimple___closed__2; static lean_object* l_Lean_Parser_Command_declModifiers_parenthesizer___closed__13; static lean_object* l_Lean_Parser_Command_printAxioms___closed__8; static lean_object* l_Lean_Parser_Term_precheckedQuot_formatter___closed__3; -static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__19; static lean_object* l_Lean_Parser_Command_initialize___elambda__1___closed__22; static lean_object* l___regBuiltin_Lean_Parser_Command_check_parenthesizer___closed__2; lean_object* l_Lean_Parser_Command_export; @@ -2264,6 +2282,7 @@ static lean_object* l_Lean_Parser_Command_optionValue___closed__1; static lean_object* l_Lean_Parser_Command_init__quot___elambda__1___closed__7; static lean_object* l_Lean_Parser_Command_structExplicitBinder_parenthesizer___closed__10; static lean_object* l___regBuiltin_Lean_Parser_Tactic_open_parenthesizer___closed__2; +static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__26; lean_object* l_Lean_Parser_withResultOfFn(lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Command_genInjectiveTheorems___elambda__1___closed__4; static lean_object* l_Lean_Parser_Term_quot_parenthesizer___closed__3; @@ -2396,6 +2415,7 @@ static lean_object* l_Lean_Parser_Term_precheckedQuot___elambda__1___closed__2; static lean_object* l_Lean_Parser_Command_ctor___elambda__1___closed__10; extern lean_object* l_Lean_groupKind; static lean_object* l_Lean_Parser_Command_declModifiers_parenthesizer___closed__4; +static lean_object* l_Lean_Parser_Command_nonrec___elambda__1___closed__10; lean_object* l_Lean_Parser_Command_structureTk_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l___regBuiltin_Lean_Parser_Command_eval_formatter___closed__1; static lean_object* l_Lean_Parser_Command_def___elambda__1___closed__10; @@ -2409,6 +2429,7 @@ static lean_object* l_Lean_Parser_Command_structure___elambda__1___closed__12; static lean_object* l_Lean_Parser_Command_universe___elambda__1___closed__2; static lean_object* l_Lean_Parser_Command_protected_parenthesizer___closed__3; static lean_object* l_Lean_Parser_Command_declValEqns___closed__3; +lean_object* l_Lean_Parser_Command_nonrec___elambda__1(lean_object*, lean_object*); lean_object* l_Lean_Parser_Term_quot___elambda__1___lambda__1___boxed(lean_object*); static lean_object* l_Lean_Parser_Command_mutual___elambda__1___closed__3; static lean_object* l_Lean_Parser_Tactic_open_parenthesizer___closed__1; @@ -2477,6 +2498,7 @@ static lean_object* l_Lean_Parser_Command_variable___elambda__1___closed__14; static lean_object* l_Lean_Parser_Command_openOnly_formatter___closed__1; lean_object* l_Lean_Parser_Command_check; static lean_object* l_Lean_Parser_Tactic_set__option___closed__6; +static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__19; static lean_object* l_Lean_Parser_Command_instance_formatter___closed__4; static lean_object* l_Lean_Parser_Command_inductive___elambda__1___closed__4; static lean_object* l_Lean_Parser_Command_eval___elambda__1___closed__5; @@ -2505,6 +2527,7 @@ static lean_object* l_Lean_Parser_Command_mutual___closed__2; static lean_object* l_Lean_Parser_Command_openSimple___closed__4; static lean_object* l_Lean_Parser_Command_instance_parenthesizer___closed__7; lean_object* l_Lean_Parser_Term_ident___elambda__1(lean_object*, lean_object*); +static lean_object* l_Lean_Parser_Command_declModifiers___closed__32; static lean_object* l___regBuiltin_Lean_Parser_Command_synth_formatter___closed__1; static lean_object* l_Lean_Parser_Command_inductive___elambda__1___closed__8; static lean_object* l_Lean_Parser_Command_namedPrio_formatter___closed__6; @@ -2523,7 +2546,6 @@ static lean_object* l_Lean_Parser_Command_attribute___closed__1; static lean_object* l_Lean_Parser_Command_structureTk___closed__7; static lean_object* l_Lean_Parser_Command_structImplicitBinder_parenthesizer___closed__1; static lean_object* l_Lean_Parser_Command_initialize_parenthesizer___closed__1; -static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__26; static lean_object* l_Lean_Parser_Command_end___elambda__1___closed__2; static lean_object* l_Lean_Parser_Command_declModifiers_formatter___closed__12; static lean_object* l_Lean_Parser_Command_openOnly_parenthesizer___closed__5; @@ -2671,6 +2693,7 @@ static lean_object* l_Lean_Parser_Command_namedPrio___elambda__1___closed__16; static lean_object* l_Lean_Parser_Command_structCtor___closed__3; static lean_object* l___regBuiltin_Lean_Parser_Command_print_parenthesizer___closed__2; static lean_object* l_Lean_Parser_Command_synth_formatter___closed__1; +static lean_object* l_Lean_Parser_Command_nonrec___closed__4; lean_object* l_Lean_Parser_Command_moduleDoc_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Command_axiom_formatter___closed__1; static lean_object* l_Lean_Parser_Command_synth_formatter___closed__2; @@ -2758,6 +2781,7 @@ static lean_object* l_Lean_Parser_Command_declValSimple___closed__4; static lean_object* l_Lean_Parser_Command_noncomputable_formatter___closed__2; static lean_object* l_Lean_Parser_Command_ctor___closed__8; static lean_object* l___regBuiltin_Lean_Parser_Command_declaration_formatter___closed__2; +static lean_object* l_Lean_Parser_Command_nonrec___elambda__1___closed__7; lean_object* l_Lean_Parser_Term_set__option___elambda__1(lean_object*, lean_object*); static lean_object* l_Lean_Parser_Command_declaration_formatter___closed__21; static lean_object* l_Lean_Parser_Command_theorem___closed__1; @@ -2783,6 +2807,7 @@ static lean_object* l_Lean_Parser_Term_set__option___elambda__1___closed__7; lean_object* l_Lean_Parser_Command_axiom___elambda__1(lean_object*, lean_object*); static lean_object* l_Lean_Parser_Command_structExplicitBinder_formatter___closed__10; static lean_object* l_Lean_Parser_Command_set__option_parenthesizer___closed__7; +static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__31; extern lean_object* l_Lean_Parser_Tactic_tacticSeq; static lean_object* l_Lean_Parser_Command_openRenaming___closed__8; static lean_object* l_Lean_Parser_Term_quot___elambda__1___lambda__3___closed__9; @@ -2813,7 +2838,6 @@ static lean_object* l_Lean_Parser_Command_declValSimple___closed__9; static lean_object* l_Lean_Parser_Term_quot___elambda__1___closed__26; static lean_object* l_Lean_Parser_Command_structCtor_formatter___closed__7; static lean_object* l_Lean_Parser_Command_inferMod_parenthesizer___closed__4; -static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__12; static lean_object* l_Lean_Parser_Command_openRenaming_formatter___closed__7; static lean_object* l_Lean_Parser_Command_structure___closed__4; static lean_object* l_Lean_Parser_Command_printAxioms___closed__2; @@ -2883,11 +2907,11 @@ static lean_object* l_Lean_Parser_Term_quot_parenthesizer___closed__6; static lean_object* l_Lean_Parser_Command_open_parenthesizer___closed__4; static lean_object* l_Lean_Parser_Command_structSimpleBinder___elambda__1___closed__6; lean_object* l___regBuiltin_Lean_Parser_Command_declaration_formatter(lean_object*); +static lean_object* l_Lean_Parser_Command_nonrec___closed__1; static lean_object* l_Lean_Parser_Command_end___elambda__1___closed__7; static lean_object* l_Lean_Parser_Command_example_formatter___closed__2; static lean_object* l_Lean_Parser_Command_initialize_formatter___closed__10; static lean_object* l_Lean_Parser_Command_structFields___elambda__1___closed__7; -static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__24; static lean_object* l_Lean_Parser_Command_constant___elambda__1___closed__8; lean_object* l_Lean_Parser_Command_attribute___elambda__1(lean_object*, lean_object*); static lean_object* l_Lean_Parser_Command_optDeclSig_parenthesizer___closed__1; @@ -2901,6 +2925,7 @@ static lean_object* l_Lean_Parser_Command_mutual_parenthesizer___closed__7; static lean_object* l_Lean_Parser_Command_exit___elambda__1___closed__13; lean_object* l_Lean_Parser_Command_optionValue; static lean_object* l_Lean_Parser_Command_check__failure_parenthesizer___closed__2; +static lean_object* l_Lean_Parser_Command_nonrec___elambda__1___closed__12; static lean_object* l_Lean_Parser_Command_namedPrio_formatter___closed__10; static lean_object* l_Lean_Parser_Command_deriving___elambda__1___closed__1; static lean_object* l_Lean_Parser_Command_check___closed__3; @@ -2945,6 +2970,7 @@ static lean_object* l_Lean_Parser_Command_def_parenthesizer___closed__4; static lean_object* l_Lean_Parser_Command_declModifiers_formatter___closed__21; lean_object* l_Lean_Parser_Term_optType_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Command_optDeclSig_parenthesizer___closed__4; +static lean_object* l_Lean_Parser_Command_nonrec___closed__2; static lean_object* l_Lean_Parser_Command_eraseAttr___elambda__1___closed__7; static lean_object* l_Lean_Parser_Term_set__option___closed__5; lean_object* l_Lean_Parser_Command_openDecl___elambda__1(lean_object*, lean_object*); @@ -2983,6 +3009,7 @@ static lean_object* l_Lean_Parser_Command_declVal_parenthesizer___closed__2; static lean_object* l_Lean_Parser_Command_set__option_formatter___closed__7; static lean_object* l_Lean_Parser_Command_axiom___elambda__1___closed__14; static lean_object* l_Lean_Parser_Command_constant_formatter___closed__2; +static lean_object* l_Lean_Parser_Command_nonrec___closed__6; static lean_object* l___regBuiltin_Lean_Parser_Command_variable_formatter___closed__1; static lean_object* l_Lean_Parser_Term_set__option___elambda__1___closed__8; static lean_object* l_Lean_Parser_Command_declModifiers_parenthesizer___closed__24; @@ -3068,11 +3095,12 @@ static lean_object* l_Lean_Parser_Command_axiom___closed__1; static lean_object* l_Lean_Parser_Command_partial_parenthesizer___closed__2; static lean_object* l_Lean_Parser_Command_exit___closed__3; lean_object* l_Lean_Parser_Command_unsafe___elambda__1(lean_object*, lean_object*); -static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__7; lean_object* l_Lean_Parser_Command_builtin__initialize; +static lean_object* l_Lean_Parser_Command_nonrec___elambda__1___closed__1; static lean_object* l_Lean_Parser_Command_structImplicitBinder___closed__11; static lean_object* l___regBuiltin_Lean_Parser_Command_declaration_parenthesizer___closed__2; static lean_object* l_Lean_Parser_Command_variable___closed__7; +static lean_object* l_Lean_Parser_Command_declModifiers_formatter___closed__29; static lean_object* l_Lean_Parser_Command_private___elambda__1___closed__7; static lean_object* l_Lean_Parser_Command_noncomputable___elambda__1___closed__6; static lean_object* l_Lean_Parser_Command_deriving___elambda__1___closed__17; @@ -3091,6 +3119,7 @@ static lean_object* l_Lean_Parser_Command_declSig___closed__5; static lean_object* l_Lean_Parser_Command_structureTk___elambda__1___closed__11; static lean_object* l_Lean_Parser_Command_declModifiers_formatter___closed__23; lean_object* l_Lean_Parser_Term_structInst_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); +static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__5; static lean_object* l_Lean_Parser_Command_def_formatter___closed__2; static lean_object* l_Lean_Parser_Command_namedPrio___elambda__1___closed__9; static lean_object* l_Lean_Parser_Command_structCtor___elambda__1___closed__4; @@ -3132,6 +3161,7 @@ static lean_object* l_Lean_Parser_Command_instance___closed__11; static lean_object* l_Lean_Parser_Command_synth___elambda__1___closed__6; static lean_object* l_Lean_Parser_Command_structImplicitBinder___elambda__1___closed__1; static lean_object* l_Lean_Parser_Command_inferMod_formatter___closed__2; +static lean_object* l_Lean_Parser_Command_declModifiers_parenthesizer___closed__29; static lean_object* l_Lean_Parser_Term_quot___elambda__1___closed__20; static lean_object* l_Lean_Parser_Command_optionValue___elambda__1___closed__6; static lean_object* l_Lean_Parser_Command_structure___elambda__1___closed__13; @@ -3170,7 +3200,6 @@ static lean_object* l_Lean_Parser_Command_optDeclSig___closed__7; static lean_object* l_Lean_Parser_Command_attribute___closed__11; static lean_object* l_Lean_Parser_Command_attribute___elambda__1___closed__8; static lean_object* l_Lean_Parser_Command_declModifiers_formatter___closed__13; -static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__10; static lean_object* l_Lean_Parser_Command_optDeriving___elambda__1___closed__12; static lean_object* l_Lean_Parser_Command_builtin__initialize___closed__1; static lean_object* l_Lean_Parser_Command_instance_formatter___closed__9; @@ -3178,9 +3207,9 @@ static lean_object* l_Lean_Parser_Command_deriving_formatter___closed__2; static lean_object* l_Lean_Parser_Command_export___elambda__1___closed__13; static lean_object* l_Lean_Parser_Command_set__option_parenthesizer___closed__1; static lean_object* l_Lean_Parser_Command_set__option___elambda__1___closed__10; -static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__32; static lean_object* l_Lean_Parser_Command_genInjectiveTheorems___elambda__1___closed__12; lean_object* l_Lean_Parser_Term_typeSpec___elambda__1(lean_object*, lean_object*); +static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__16; lean_object* l_Lean_Parser_Command_init__quot_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Command_declId___elambda__1___closed__9; lean_object* l_Lean_Parser_Command_unsafe_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); @@ -3202,7 +3231,6 @@ static lean_object* l_Lean_Parser_Command_initialize___elambda__1___closed__20; lean_object* l_Lean_Parser_mkAntiquot(lean_object*, lean_object*, uint8_t); static lean_object* l_Lean_Parser_Command_print_parenthesizer___closed__6; static lean_object* l_Lean_Parser_Command_init__quot___elambda__1___closed__3; -static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__20; static lean_object* l_Lean_Parser_Command_printAxioms___elambda__1___closed__14; static lean_object* l_Lean_Parser_Command_attribute_formatter___closed__10; static lean_object* l_Lean_Parser_Command_ctor___elambda__1___closed__6; @@ -3247,6 +3275,7 @@ static lean_object* l_Lean_Parser_Command_end___elambda__1___closed__5; static lean_object* l_Lean_Parser_Command_variable___elambda__1___closed__3; static lean_object* l_Lean_Parser_Command_declaration___closed__6; static lean_object* l_Lean_Parser_Command_private___elambda__1___closed__2; +static lean_object* l_Lean_Parser_Command_nonrec___elambda__1___closed__2; static lean_object* l_Lean_Parser_Command_set__option_parenthesizer___closed__2; static lean_object* l_Lean_Parser_Command_genInjectiveTheorems___closed__4; static lean_object* l_Lean_Parser_Command_check___closed__7; @@ -3267,6 +3296,7 @@ static lean_object* l_Lean_Parser_Command_print_formatter___closed__3; static lean_object* l_Lean_Parser_Command_declaration___elambda__1___closed__4; static lean_object* l_Lean_Parser_Command_optNamedPrio___closed__1; static lean_object* l___regBuiltin_Lean_Parser_Command_attribute_parenthesizer___closed__2; +static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__14; static lean_object* l_Lean_Parser_Command_inductive_formatter___closed__14; static lean_object* l_Lean_Parser_Command_attribute___elambda__1___closed__9; static lean_object* l_Lean_Parser_Command_end___elambda__1___closed__14; @@ -3313,6 +3343,7 @@ static lean_object* l_Lean_Parser_Command_declModifiers_parenthesizer___closed__ lean_object* l_Lean_Parser_Command_commentBody_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Command_resolve__name_formatter___closed__2; static lean_object* l_Lean_Parser_Command_check__failure___elambda__1___closed__13; +static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__28; static lean_object* l_Lean_Parser_Command_derivingClasses___closed__3; static lean_object* l_Lean_Parser_Command_attribute___elambda__1___closed__27; static lean_object* l_Lean_Parser_Command_reduce___closed__2; @@ -3335,6 +3366,7 @@ static lean_object* l_Lean_Parser_Command_openHiding_formatter___closed__1; static lean_object* l_Lean_Parser_Command_structure_formatter___closed__20; static lean_object* l_Lean_Parser_Command_declaration___closed__15; static lean_object* l_Lean_Parser_Command_private_parenthesizer___closed__2; +static lean_object* l_Lean_Parser_Command_declModifiers___closed__31; static lean_object* l_Lean_Parser_Command_declValSimple___closed__3; static lean_object* l_Lean_Parser_Command_optDeriving___elambda__1___closed__3; static lean_object* l_Lean_Parser_Command_axiom___elambda__1___closed__3; @@ -3357,6 +3389,7 @@ static lean_object* l_Lean_Parser_Command_openOnly___closed__7; static lean_object* l_Lean_Parser_Command_eraseAttr_parenthesizer___closed__1; static lean_object* l_Lean_Parser_Command_attribute___elambda__1___closed__28; static lean_object* l_Lean_Parser_Command_attribute_formatter___closed__7; +static lean_object* l_Lean_Parser_Command_nonrec___elambda__1___closed__11; static lean_object* l_Lean_Parser_Command_mutual_formatter___closed__11; static lean_object* l_Lean_Parser_Term_precheckedQuot___elambda__1___closed__4; static lean_object* l_Lean_Parser_Term_quot___elambda__1___closed__16; @@ -3439,11 +3472,12 @@ static lean_object* l_Lean_Parser_Term_open_formatter___closed__5; static lean_object* l_Lean_Parser_Command_def_parenthesizer___closed__3; static lean_object* l_Lean_Parser_Command_structureTk_formatter___closed__2; static lean_object* l_Lean_Parser_Command_noncomputable___closed__2; -static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__16; static lean_object* l_Lean_Parser_Command_openRenamingItem___elambda__1___closed__19; static lean_object* l_Lean_Parser_Command_theorem___elambda__1___closed__3; +static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__10; static lean_object* l_Lean_Parser_Command_derivingClasses___closed__7; lean_object* l_Lean_Parser_Command_derivingClasses_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); +static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__32; static lean_object* l_Lean_Parser_Command_check__failure_formatter___closed__1; static lean_object* l_Lean_Parser_Command_open___elambda__1___closed__13; static lean_object* l_Lean_Parser_Command_structFields___elambda__1___closed__10; @@ -3546,8 +3580,6 @@ static lean_object* l_Lean_Parser_Command_partial___elambda__1___closed__4; static lean_object* l_Lean_Parser_Command_resolve__name___elambda__1___closed__10; static lean_object* l_Lean_Parser_Command_print_parenthesizer___closed__2; static lean_object* l_Lean_Parser_Command_openOnly___closed__3; -static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__14; -static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__28; lean_object* l_Lean_Parser_Command_declValSimple_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Command_structFields___elambda__1___closed__14; static lean_object* l_Lean_Parser_Command_inductive___closed__10; @@ -3591,6 +3623,7 @@ lean_object* l_Lean_Parser_ident_formatter(lean_object*, lean_object*, lean_obje lean_object* l_Lean_Parser_Command_optDeriving_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Command_declModifiers_formatter___closed__9; static lean_object* l_Lean_Parser_Command_constant___elambda__1___closed__13; +static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__24; static lean_object* l_Lean_Parser_Command_openDecl___closed__2; static lean_object* l_Lean_Parser_Command_abbrev___closed__6; static lean_object* l_Lean_Parser_Command_example___closed__2; @@ -3734,6 +3767,7 @@ static lean_object* l_Lean_Parser_Command_declModifiers_parenthesizer___closed__ static lean_object* l_Lean_Parser_Command_attribute___elambda__1___closed__15; static lean_object* l_Lean_Parser_Command_set__option___closed__6; static lean_object* l_Lean_Parser_Command_axiom___closed__9; +static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__20; lean_object* l_Lean_PrettyPrinter_Formatter_andthen_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Command_partial___elambda__1___closed__9; static lean_object* l_Lean_Parser_Command_constant___elambda__1___closed__1; @@ -3818,10 +3852,12 @@ lean_object* l_Lean_Parser_manyIndent_parenthesizer(lean_object*, lean_object*, static lean_object* l_Lean_Parser_Tactic_set__option___closed__4; static lean_object* l_Lean_Parser_Term_quot___elambda__1___closed__5; static lean_object* l_Lean_Parser_Term_set__option_parenthesizer___closed__2; +static lean_object* l_Lean_Parser_Command_nonrec_formatter___closed__3; static lean_object* l_Lean_Parser_Command_protected___elambda__1___closed__6; lean_object* l_Lean_Parser_Command_set__option; static lean_object* l_Lean_Parser_Command_variable___elambda__1___closed__7; static lean_object* l_Lean_Parser_Command_classTk___elambda__1___closed__9; +static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__7; static lean_object* l_Lean_Parser_Command_structSimpleBinder___elambda__1___closed__8; static lean_object* l_Lean_Parser_Command_section___closed__6; static lean_object* l_Lean_Parser_Command_structure___elambda__1___closed__21; @@ -3846,6 +3882,7 @@ static lean_object* l_Lean_Parser_Command_partial_formatter___closed__2; static lean_object* l_Lean_Parser_Command_structSimpleBinder___elambda__1___closed__7; lean_object* l_Lean_Parser_andthenFn(lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Command_declModifiers_parenthesizer___closed__3; +static lean_object* l_Lean_Parser_Command_nonrec___elambda__1___closed__4; lean_object* l_Lean_Parser_Command_constant; static lean_object* l_Lean_Parser_Command_structImplicitBinder___elambda__1___closed__13; lean_object* l_Lean_Parser_Term_quot___elambda__1___lambda__1(lean_object* x_1) { @@ -8939,6 +8976,348 @@ x_1 = l_Lean_Parser_Command_partial___closed__7; return x_1; } } +static lean_object* _init_l_Lean_Parser_Command_nonrec___elambda__1___closed__1() { +_start: +{ +lean_object* x_1; +x_1 = lean_mk_string("nonrec"); +return x_1; +} +} +static lean_object* _init_l_Lean_Parser_Command_nonrec___elambda__1___closed__2() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_Command_moduleDoc___elambda__1___closed__2; +x_2 = l_Lean_Parser_Command_nonrec___elambda__1___closed__1; +x_3 = lean_name_mk_string(x_1, x_2); +return x_3; +} +} +static lean_object* _init_l_Lean_Parser_Command_nonrec___elambda__1___closed__3() { +_start: +{ +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Command_nonrec___elambda__1___closed__2; +x_2 = lean_alloc_ctor(1, 1, 0); +lean_ctor_set(x_2, 0, x_1); +return x_2; +} +} +static lean_object* _init_l_Lean_Parser_Command_nonrec___elambda__1___closed__4() { +_start: +{ +lean_object* x_1; lean_object* x_2; uint8_t x_3; lean_object* x_4; +x_1 = l_Lean_Parser_Command_nonrec___elambda__1___closed__1; +x_2 = l_Lean_Parser_Command_nonrec___elambda__1___closed__3; +x_3 = 1; +x_4 = l_Lean_Parser_mkAntiquot(x_1, x_2, x_3); +return x_4; +} +} +static lean_object* _init_l_Lean_Parser_Command_nonrec___elambda__1___closed__5() { +_start: +{ +lean_object* x_1; +x_1 = lean_mk_string("nonrec "); +return x_1; +} +} +static lean_object* _init_l_Lean_Parser_Command_nonrec___elambda__1___closed__6() { +_start: +{ +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Command_nonrec___elambda__1___closed__5; +x_2 = l_String_trim(x_1); +return x_2; +} +} +static lean_object* _init_l_Lean_Parser_Command_nonrec___elambda__1___closed__7() { +_start: +{ +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Command_nonrec___elambda__1___closed__6; +x_2 = lean_alloc_closure((void*)(l_Lean_Parser_symbolFn___boxed), 3, 1); +lean_closure_set(x_2, 0, x_1); +return x_2; +} +} +static lean_object* _init_l_Lean_Parser_Command_nonrec___elambda__1___closed__8() { +_start: +{ +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Command_nonrec___elambda__1___closed__7; +x_2 = lean_alloc_closure((void*)(l_Lean_Parser_tokenWithAntiquotFn), 3, 1); +lean_closure_set(x_2, 0, x_1); +return x_2; +} +} +static lean_object* _init_l_Lean_Parser_Command_nonrec___elambda__1___closed__9() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_Command_nonrec___elambda__1___closed__2; +x_2 = l_Lean_Parser_Command_nonrec___elambda__1___closed__8; +x_3 = lean_alloc_closure((void*)(l_Lean_Parser_nodeFn), 4, 2); +lean_closure_set(x_3, 0, x_1); +lean_closure_set(x_3, 1, x_2); +return x_3; +} +} +static lean_object* _init_l_Lean_Parser_Command_nonrec___elambda__1___closed__10() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_Command_nonrec___elambda__1___closed__9; +x_2 = l_Lean_Parser_Term_quot___elambda__1___closed__35; +x_3 = lean_alloc_closure((void*)(l_Lean_Parser_andthenFn), 4, 2); +lean_closure_set(x_3, 0, x_1); +lean_closure_set(x_3, 1, x_2); +return x_3; +} +} +static lean_object* _init_l_Lean_Parser_Command_nonrec___elambda__1___closed__11() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_Term_quot___elambda__1___closed__33; +x_2 = l_Lean_Parser_Command_nonrec___elambda__1___closed__10; +x_3 = lean_alloc_closure((void*)(l_Lean_Parser_andthenFn), 4, 2); +lean_closure_set(x_3, 0, x_1); +lean_closure_set(x_3, 1, x_2); +return x_3; +} +} +static lean_object* _init_l_Lean_Parser_Command_nonrec___elambda__1___closed__12() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_Term_quot___elambda__1___lambda__3___closed__6; +x_2 = l_Lean_Parser_Command_nonrec___elambda__1___closed__6; +x_3 = lean_string_append(x_1, x_2); +return x_3; +} +} +static lean_object* _init_l_Lean_Parser_Command_nonrec___elambda__1___closed__13() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_Command_nonrec___elambda__1___closed__12; +x_2 = l_Lean_Parser_Term_quot___elambda__1___lambda__3___closed__6; +x_3 = lean_string_append(x_1, x_2); +return x_3; +} +} +lean_object* l_Lean_Parser_Command_nonrec___elambda__1(lean_object* x_1, lean_object* x_2) { +_start: +{ +lean_object* x_3; lean_object* x_4; uint8_t x_5; +x_3 = l_Lean_Parser_Command_nonrec___elambda__1___closed__4; +x_4 = lean_ctor_get(x_3, 1); +lean_inc(x_4); +lean_inc(x_2); +lean_inc(x_1); +x_5 = l_Lean_Parser_tryAnti(x_1, x_2); +if (x_5 == 0) +{ +lean_object* x_6; lean_object* x_7; lean_object* x_8; lean_object* x_9; uint8_t x_10; +lean_dec(x_4); +x_6 = lean_unsigned_to_nat(1024u); +x_7 = l_Lean_Parser_checkPrecFn(x_6, x_1, x_2); +x_8 = lean_ctor_get(x_7, 4); +lean_inc(x_8); +x_9 = lean_box(0); +x_10 = l___private_Init_Data_Option_Basic_0__beqOption____x40_Init_Data_Option_Basic___hyg_672____at_Lean_Parser_ParserState_hasError___spec__1(x_8, x_9); +lean_dec(x_8); +if (x_10 == 0) +{ +lean_dec(x_1); +return x_7; +} +else +{ +lean_object* x_11; lean_object* x_12; lean_object* x_13; lean_object* x_14; lean_object* x_15; lean_object* x_16; uint8_t x_17; +x_11 = lean_ctor_get(x_7, 0); +lean_inc(x_11); +x_12 = lean_array_get_size(x_11); +lean_dec(x_11); +x_13 = l_Lean_Parser_Command_nonrec___elambda__1___closed__6; +x_14 = l_Lean_Parser_Command_nonrec___elambda__1___closed__13; +lean_inc(x_1); +x_15 = l_Lean_Parser_symbolFnAux(x_13, x_14, x_1, x_7); +x_16 = lean_ctor_get(x_15, 4); +lean_inc(x_16); +x_17 = l___private_Init_Data_Option_Basic_0__beqOption____x40_Init_Data_Option_Basic___hyg_672____at_Lean_Parser_ParserState_hasError___spec__1(x_16, x_9); +lean_dec(x_16); +if (x_17 == 0) +{ +lean_object* x_18; lean_object* x_19; lean_object* x_20; uint8_t x_21; +x_18 = l_Lean_Parser_Command_nonrec___elambda__1___closed__2; +x_19 = l_Lean_Parser_ParserState_mkNode(x_15, x_18, x_12); +x_20 = lean_ctor_get(x_19, 4); +lean_inc(x_20); +x_21 = l___private_Init_Data_Option_Basic_0__beqOption____x40_Init_Data_Option_Basic___hyg_672____at_Lean_Parser_ParserState_hasError___spec__1(x_20, x_9); +lean_dec(x_20); +if (x_21 == 0) +{ +lean_dec(x_1); +return x_19; +} +else +{ +lean_object* x_22; +x_22 = l_Lean_Parser_setLhsPrecFn(x_6, x_1, x_19); +lean_dec(x_1); +return x_22; +} +} +else +{ +lean_object* x_23; lean_object* x_24; uint8_t x_25; +x_23 = lean_ctor_get(x_1, 4); +lean_inc(x_23); +x_24 = lean_unsigned_to_nat(0u); +x_25 = lean_nat_dec_eq(x_23, x_24); +lean_dec(x_23); +if (x_25 == 0) +{ +lean_object* x_26; lean_object* x_27; lean_object* x_28; lean_object* x_29; lean_object* x_30; uint8_t x_31; +x_26 = lean_box(0); +lean_inc(x_1); +x_27 = l_Lean_Parser_Term_quot___elambda__1___lambda__3(x_15, x_1, x_9, x_26); +x_28 = l_Lean_Parser_Command_nonrec___elambda__1___closed__2; +x_29 = l_Lean_Parser_ParserState_mkNode(x_27, x_28, x_12); +x_30 = lean_ctor_get(x_29, 4); +lean_inc(x_30); +x_31 = l___private_Init_Data_Option_Basic_0__beqOption____x40_Init_Data_Option_Basic___hyg_672____at_Lean_Parser_ParserState_hasError___spec__1(x_30, x_9); +lean_dec(x_30); +if (x_31 == 0) +{ +lean_dec(x_1); +return x_29; +} +else +{ +lean_object* x_32; +x_32 = l_Lean_Parser_setLhsPrecFn(x_6, x_1, x_29); +lean_dec(x_1); +return x_32; +} +} +else +{ +lean_object* x_33; lean_object* x_34; lean_object* x_35; uint8_t x_36; +x_33 = l_Lean_Parser_Command_nonrec___elambda__1___closed__2; +x_34 = l_Lean_Parser_ParserState_mkNode(x_15, x_33, x_12); +x_35 = lean_ctor_get(x_34, 4); +lean_inc(x_35); +x_36 = l___private_Init_Data_Option_Basic_0__beqOption____x40_Init_Data_Option_Basic___hyg_672____at_Lean_Parser_ParserState_hasError___spec__1(x_35, x_9); +lean_dec(x_35); +if (x_36 == 0) +{ +lean_dec(x_1); +return x_34; +} +else +{ +lean_object* x_37; +x_37 = l_Lean_Parser_setLhsPrecFn(x_6, x_1, x_34); +lean_dec(x_1); +return x_37; +} +} +} +} +} +else +{ +lean_object* x_38; uint8_t x_39; lean_object* x_40; +x_38 = l_Lean_Parser_Command_nonrec___elambda__1___closed__11; +x_39 = 1; +x_40 = l_Lean_Parser_orelseFnCore(x_4, x_38, x_39, x_1, x_2); +return x_40; +} +} +} +static lean_object* _init_l_Lean_Parser_Command_nonrec___closed__1() { +_start: +{ +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Command_nonrec___elambda__1___closed__6; +x_2 = l_Lean_Parser_symbolInfo(x_1); +return x_2; +} +} +static lean_object* _init_l_Lean_Parser_Command_nonrec___closed__2() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_Command_nonrec___elambda__1___closed__2; +x_2 = l_Lean_Parser_Command_nonrec___closed__1; +x_3 = l_Lean_Parser_nodeInfo(x_1, x_2); +return x_3; +} +} +static lean_object* _init_l_Lean_Parser_Command_nonrec___closed__3() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_Command_nonrec___closed__2; +x_2 = l_Lean_Parser_epsilonInfo; +x_3 = l_Lean_Parser_andthenInfo(x_1, x_2); +return x_3; +} +} +static lean_object* _init_l_Lean_Parser_Command_nonrec___closed__4() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_epsilonInfo; +x_2 = l_Lean_Parser_Command_nonrec___closed__3; +x_3 = l_Lean_Parser_andthenInfo(x_1, x_2); +return x_3; +} +} +static lean_object* _init_l_Lean_Parser_Command_nonrec___closed__5() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; +x_1 = l_Lean_Parser_Command_nonrec___elambda__1___closed__4; +x_2 = lean_ctor_get(x_1, 0); +lean_inc(x_2); +x_3 = l_Lean_Parser_Command_nonrec___closed__4; +x_4 = l_Lean_Parser_orelseInfo(x_2, x_3); +return x_4; +} +} +static lean_object* _init_l_Lean_Parser_Command_nonrec___closed__6() { +_start: +{ +lean_object* x_1; +x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Command_nonrec___elambda__1), 2, 0); +return x_1; +} +} +static lean_object* _init_l_Lean_Parser_Command_nonrec___closed__7() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_Command_nonrec___closed__5; +x_2 = l_Lean_Parser_Command_nonrec___closed__6; +x_3 = lean_alloc_ctor(0, 2, 0); +lean_ctor_set(x_3, 0, x_1); +lean_ctor_set(x_3, 1, x_2); +return x_3; +} +} +static lean_object* _init_l_Lean_Parser_Command_nonrec() { +_start: +{ +lean_object* x_1; +x_1 = l_Lean_Parser_Command_nonrec___closed__7; +return x_1; +} +} static lean_object* _init_l_Lean_Parser_Command_declModifiers___elambda__1___closed__1() { _start: { @@ -9043,34 +9422,72 @@ return x_2; static lean_object* _init_l_Lean_Parser_Command_declModifiers___closed__5() { _start: { -lean_object* x_1; lean_object* x_2; +lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; x_1 = l_Lean_Parser_Command_partial; +x_2 = lean_ctor_get(x_1, 0); +lean_inc(x_2); +x_3 = l_Lean_Parser_Command_nonrec; +x_4 = lean_ctor_get(x_3, 0); +lean_inc(x_4); +x_5 = l_Lean_Parser_orelseInfo(x_2, x_4); +return x_5; +} +} +static lean_object* _init_l_Lean_Parser_Command_declModifiers___closed__6() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_Command_partial___closed__6; +x_2 = l_Lean_Parser_Command_nonrec___closed__6; +x_3 = lean_alloc_closure((void*)(l_Lean_Parser_orelseFn), 4, 2); +lean_closure_set(x_3, 0, x_1); +lean_closure_set(x_3, 1, x_2); +return x_3; +} +} +static lean_object* _init_l_Lean_Parser_Command_declModifiers___closed__7() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_Command_declModifiers___closed__5; +x_2 = l_Lean_Parser_Command_declModifiers___closed__6; +x_3 = lean_alloc_ctor(0, 2, 0); +lean_ctor_set(x_3, 0, x_1); +lean_ctor_set(x_3, 1, x_2); +return x_3; +} +} +static lean_object* _init_l_Lean_Parser_Command_declModifiers___closed__8() { +_start: +{ +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Command_declModifiers___closed__7; x_2 = l_Lean_Parser_optional(x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_Command_declModifiers___closed__6() { +static lean_object* _init_l_Lean_Parser_Command_declModifiers___closed__9() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; x_1 = l_Lean_Parser_Command_declModifiers___closed__4; x_2 = lean_ctor_get(x_1, 0); lean_inc(x_2); -x_3 = l_Lean_Parser_Command_declModifiers___closed__5; +x_3 = l_Lean_Parser_Command_declModifiers___closed__8; x_4 = lean_ctor_get(x_3, 0); lean_inc(x_4); x_5 = l_Lean_Parser_andthenInfo(x_2, x_4); return x_5; } } -static lean_object* _init_l_Lean_Parser_Command_declModifiers___closed__7() { +static lean_object* _init_l_Lean_Parser_Command_declModifiers___closed__10() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; x_1 = l_Lean_Parser_Command_declModifiers___closed__4; x_2 = lean_ctor_get(x_1, 1); lean_inc(x_2); -x_3 = l_Lean_Parser_Command_declModifiers___closed__5; +x_3 = l_Lean_Parser_Command_declModifiers___closed__8; x_4 = lean_ctor_get(x_3, 1); lean_inc(x_4); x_5 = lean_alloc_closure((void*)(l_Lean_Parser_andthenFn), 4, 2); @@ -9079,59 +9496,59 @@ lean_closure_set(x_5, 1, x_4); return x_5; } } -static lean_object* _init_l_Lean_Parser_Command_declModifiers___closed__8() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; -x_1 = l_Lean_Parser_Command_declModifiers___closed__3; -x_2 = lean_ctor_get(x_1, 0); -lean_inc(x_2); -x_3 = l_Lean_Parser_Command_declModifiers___closed__6; -x_4 = l_Lean_Parser_andthenInfo(x_2, x_3); -return x_4; -} -} -static lean_object* _init_l_Lean_Parser_Command_declModifiers___closed__9() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; -x_1 = l_Lean_Parser_Command_declModifiers___closed__3; -x_2 = lean_ctor_get(x_1, 1); -lean_inc(x_2); -x_3 = l_Lean_Parser_Command_declModifiers___closed__7; -x_4 = lean_alloc_closure((void*)(l_Lean_Parser_andthenFn), 4, 2); -lean_closure_set(x_4, 0, x_2); -lean_closure_set(x_4, 1, x_3); -return x_4; -} -} -static lean_object* _init_l_Lean_Parser_Command_declModifiers___closed__10() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; -x_1 = l_Lean_Parser_Command_declModifiers___closed__2; -x_2 = lean_ctor_get(x_1, 0); -lean_inc(x_2); -x_3 = l_Lean_Parser_Command_declModifiers___closed__8; -x_4 = l_Lean_Parser_andthenInfo(x_2, x_3); -return x_4; -} -} static lean_object* _init_l_Lean_Parser_Command_declModifiers___closed__11() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; -x_1 = l_Lean_Parser_Command_declModifiers___closed__2; -x_2 = lean_ctor_get(x_1, 1); +x_1 = l_Lean_Parser_Command_declModifiers___closed__3; +x_2 = lean_ctor_get(x_1, 0); lean_inc(x_2); x_3 = l_Lean_Parser_Command_declModifiers___closed__9; +x_4 = l_Lean_Parser_andthenInfo(x_2, x_3); +return x_4; +} +} +static lean_object* _init_l_Lean_Parser_Command_declModifiers___closed__12() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; +x_1 = l_Lean_Parser_Command_declModifiers___closed__3; +x_2 = lean_ctor_get(x_1, 1); +lean_inc(x_2); +x_3 = l_Lean_Parser_Command_declModifiers___closed__10; x_4 = lean_alloc_closure((void*)(l_Lean_Parser_andthenFn), 4, 2); lean_closure_set(x_4, 0, x_2); lean_closure_set(x_4, 1, x_3); return x_4; } } -static lean_object* _init_l_Lean_Parser_Command_declModifiers___closed__12() { +static lean_object* _init_l_Lean_Parser_Command_declModifiers___closed__13() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; +x_1 = l_Lean_Parser_Command_declModifiers___closed__2; +x_2 = lean_ctor_get(x_1, 0); +lean_inc(x_2); +x_3 = l_Lean_Parser_Command_declModifiers___closed__11; +x_4 = l_Lean_Parser_andthenInfo(x_2, x_3); +return x_4; +} +} +static lean_object* _init_l_Lean_Parser_Command_declModifiers___closed__14() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; +x_1 = l_Lean_Parser_Command_declModifiers___closed__2; +x_2 = lean_ctor_get(x_1, 1); +lean_inc(x_2); +x_3 = l_Lean_Parser_Command_declModifiers___closed__12; +x_4 = lean_alloc_closure((void*)(l_Lean_Parser_andthenFn), 4, 2); +lean_closure_set(x_4, 0, x_2); +lean_closure_set(x_4, 1, x_3); +return x_4; +} +} +static lean_object* _init_l_Lean_Parser_Command_declModifiers___closed__15() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; @@ -9143,7 +9560,7 @@ x_4 = l_Lean_Parser_andthenInfo(x_2, x_3); return x_4; } } -static lean_object* _init_l_Lean_Parser_Command_declModifiers___closed__13() { +static lean_object* _init_l_Lean_Parser_Command_declModifiers___closed__16() { _start: { lean_object* x_1; @@ -9151,11 +9568,11 @@ x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Term_attributes___elambda__1), 2, return x_1; } } -static lean_object* _init_l_Lean_Parser_Command_declModifiers___closed__14() { +static lean_object* _init_l_Lean_Parser_Command_declModifiers___closed__17() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Command_declModifiers___closed__13; +x_1 = l_Lean_Parser_Command_declModifiers___closed__16; x_2 = l_Lean_Parser_Command_moduleDoc___elambda__1___closed__12; x_3 = lean_alloc_closure((void*)(l_Lean_Parser_andthenFn), 4, 2); lean_closure_set(x_3, 0, x_1); @@ -9163,120 +9580,86 @@ lean_closure_set(x_3, 1, x_2); return x_3; } } -static lean_object* _init_l_Lean_Parser_Command_declModifiers___closed__15() { +static lean_object* _init_l_Lean_Parser_Command_declModifiers___closed__18() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Command_declModifiers___closed__12; -x_2 = l_Lean_Parser_Command_declModifiers___closed__14; +x_1 = l_Lean_Parser_Command_declModifiers___closed__15; +x_2 = l_Lean_Parser_Command_declModifiers___closed__17; x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); lean_ctor_set(x_3, 1, x_2); return x_3; } } -static lean_object* _init_l_Lean_Parser_Command_declModifiers___closed__16() { -_start: -{ -lean_object* x_1; lean_object* x_2; -x_1 = l_Lean_Parser_Command_declModifiers___closed__15; -x_2 = l_Lean_Parser_optional(x_1); -return x_2; -} -} -static lean_object* _init_l_Lean_Parser_Command_declModifiers___closed__17() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; -x_1 = l_Lean_Parser_Command_declModifiers___closed__16; -x_2 = lean_ctor_get(x_1, 0); -lean_inc(x_2); -x_3 = l_Lean_Parser_Command_declModifiers___closed__10; -x_4 = l_Lean_Parser_andthenInfo(x_2, x_3); -return x_4; -} -} -static lean_object* _init_l_Lean_Parser_Command_declModifiers___closed__18() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; -x_1 = l_Lean_Parser_Command_declModifiers___closed__16; -x_2 = lean_ctor_get(x_1, 1); -lean_inc(x_2); -x_3 = l_Lean_Parser_Command_declModifiers___closed__11; -x_4 = lean_alloc_closure((void*)(l_Lean_Parser_andthenFn), 4, 2); -lean_closure_set(x_4, 0, x_2); -lean_closure_set(x_4, 1, x_3); -return x_4; -} -} static lean_object* _init_l_Lean_Parser_Command_declModifiers___closed__19() { _start: { -lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; -x_1 = l_Lean_Parser_Command_declModifiers___closed__1; -x_2 = lean_ctor_get(x_1, 0); -lean_inc(x_2); -x_3 = l_Lean_Parser_Command_declModifiers___closed__17; -x_4 = l_Lean_Parser_andthenInfo(x_2, x_3); -return x_4; +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Command_declModifiers___closed__18; +x_2 = l_Lean_Parser_optional(x_1); +return x_2; } } static lean_object* _init_l_Lean_Parser_Command_declModifiers___closed__20() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; -x_1 = l_Lean_Parser_Command_declModifiers___closed__1; -x_2 = lean_ctor_get(x_1, 1); +x_1 = l_Lean_Parser_Command_declModifiers___closed__19; +x_2 = lean_ctor_get(x_1, 0); lean_inc(x_2); -x_3 = l_Lean_Parser_Command_declModifiers___closed__18; -x_4 = lean_alloc_closure((void*)(l_Lean_Parser_andthenFn), 4, 2); -lean_closure_set(x_4, 0, x_2); -lean_closure_set(x_4, 1, x_3); +x_3 = l_Lean_Parser_Command_declModifiers___closed__13; +x_4 = l_Lean_Parser_andthenInfo(x_2, x_3); return x_4; } } static lean_object* _init_l_Lean_Parser_Command_declModifiers___closed__21() { _start: { -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Command_declModifiers___elambda__1___closed__2; -x_2 = l_Lean_Parser_Command_declModifiers___closed__19; -x_3 = l_Lean_Parser_nodeInfo(x_1, x_2); -return x_3; +lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; +x_1 = l_Lean_Parser_Command_declModifiers___closed__19; +x_2 = lean_ctor_get(x_1, 1); +lean_inc(x_2); +x_3 = l_Lean_Parser_Command_declModifiers___closed__14; +x_4 = lean_alloc_closure((void*)(l_Lean_Parser_andthenFn), 4, 2); +lean_closure_set(x_4, 0, x_2); +lean_closure_set(x_4, 1, x_3); +return x_4; } } static lean_object* _init_l_Lean_Parser_Command_declModifiers___closed__22() { _start: { -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Command_declModifiers___elambda__1___closed__2; -x_2 = l_Lean_Parser_Command_declModifiers___closed__20; -x_3 = lean_alloc_closure((void*)(l_Lean_Parser_nodeFn), 4, 2); -lean_closure_set(x_3, 0, x_1); -lean_closure_set(x_3, 1, x_2); -return x_3; +lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; +x_1 = l_Lean_Parser_Command_declModifiers___closed__1; +x_2 = lean_ctor_get(x_1, 0); +lean_inc(x_2); +x_3 = l_Lean_Parser_Command_declModifiers___closed__20; +x_4 = l_Lean_Parser_andthenInfo(x_2, x_3); +return x_4; } } static lean_object* _init_l_Lean_Parser_Command_declModifiers___closed__23() { _start: { -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Command_declModifiers___closed__21; -x_2 = l_Lean_Parser_epsilonInfo; -x_3 = l_Lean_Parser_andthenInfo(x_1, x_2); -return x_3; +lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; +x_1 = l_Lean_Parser_Command_declModifiers___closed__1; +x_2 = lean_ctor_get(x_1, 1); +lean_inc(x_2); +x_3 = l_Lean_Parser_Command_declModifiers___closed__21; +x_4 = lean_alloc_closure((void*)(l_Lean_Parser_andthenFn), 4, 2); +lean_closure_set(x_4, 0, x_2); +lean_closure_set(x_4, 1, x_3); +return x_4; } } static lean_object* _init_l_Lean_Parser_Command_declModifiers___closed__24() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Command_declModifiers___closed__22; -x_2 = l_Lean_Parser_Term_quot___elambda__1___closed__35; -x_3 = lean_alloc_closure((void*)(l_Lean_Parser_andthenFn), 4, 2); -lean_closure_set(x_3, 0, x_1); -lean_closure_set(x_3, 1, x_2); +x_1 = l_Lean_Parser_Command_declModifiers___elambda__1___closed__2; +x_2 = l_Lean_Parser_Command_declModifiers___closed__22; +x_3 = l_Lean_Parser_nodeInfo(x_1, x_2); return x_3; } } @@ -9284,9 +9667,11 @@ static lean_object* _init_l_Lean_Parser_Command_declModifiers___closed__25() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_epsilonInfo; +x_1 = l_Lean_Parser_Command_declModifiers___elambda__1___closed__2; x_2 = l_Lean_Parser_Command_declModifiers___closed__23; -x_3 = l_Lean_Parser_andthenInfo(x_1, x_2); +x_3 = lean_alloc_closure((void*)(l_Lean_Parser_nodeFn), 4, 2); +lean_closure_set(x_3, 0, x_1); +lean_closure_set(x_3, 1, x_2); return x_3; } } @@ -9294,42 +9679,74 @@ static lean_object* _init_l_Lean_Parser_Command_declModifiers___closed__26() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Term_quot___elambda__1___closed__33; -x_2 = l_Lean_Parser_Command_declModifiers___closed__24; -x_3 = lean_alloc_closure((void*)(l_Lean_Parser_andthenFn), 4, 2); -lean_closure_set(x_3, 0, x_1); -lean_closure_set(x_3, 1, x_2); +x_1 = l_Lean_Parser_Command_declModifiers___closed__24; +x_2 = l_Lean_Parser_epsilonInfo; +x_3 = l_Lean_Parser_andthenInfo(x_1, x_2); return x_3; } } static lean_object* _init_l_Lean_Parser_Command_declModifiers___closed__27() { _start: { -lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; -x_1 = l_Lean_Parser_Command_declModifiers___elambda__1___closed__4; -x_2 = lean_ctor_get(x_1, 0); -lean_inc(x_2); -x_3 = l_Lean_Parser_Command_declModifiers___closed__25; -x_4 = l_Lean_Parser_orelseInfo(x_2, x_3); -return x_4; +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_Command_declModifiers___closed__25; +x_2 = l_Lean_Parser_Term_quot___elambda__1___closed__35; +x_3 = lean_alloc_closure((void*)(l_Lean_Parser_andthenFn), 4, 2); +lean_closure_set(x_3, 0, x_1); +lean_closure_set(x_3, 1, x_2); +return x_3; } } static lean_object* _init_l_Lean_Parser_Command_declModifiers___closed__28() { _start: { -lean_object* x_1; lean_object* x_2; -x_1 = l_Lean_Parser_Command_declModifiers___closed__26; -x_2 = lean_alloc_closure((void*)(l_Lean_Parser_Command_declModifiers___elambda__1), 3, 1); -lean_closure_set(x_2, 0, x_1); -return x_2; +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_epsilonInfo; +x_2 = l_Lean_Parser_Command_declModifiers___closed__26; +x_3 = l_Lean_Parser_andthenInfo(x_1, x_2); +return x_3; } } static lean_object* _init_l_Lean_Parser_Command_declModifiers___closed__29() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Command_declModifiers___closed__27; -x_2 = l_Lean_Parser_Command_declModifiers___closed__28; +x_1 = l_Lean_Parser_Term_quot___elambda__1___closed__33; +x_2 = l_Lean_Parser_Command_declModifiers___closed__27; +x_3 = lean_alloc_closure((void*)(l_Lean_Parser_andthenFn), 4, 2); +lean_closure_set(x_3, 0, x_1); +lean_closure_set(x_3, 1, x_2); +return x_3; +} +} +static lean_object* _init_l_Lean_Parser_Command_declModifiers___closed__30() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; +x_1 = l_Lean_Parser_Command_declModifiers___elambda__1___closed__4; +x_2 = lean_ctor_get(x_1, 0); +lean_inc(x_2); +x_3 = l_Lean_Parser_Command_declModifiers___closed__28; +x_4 = l_Lean_Parser_orelseInfo(x_2, x_3); +return x_4; +} +} +static lean_object* _init_l_Lean_Parser_Command_declModifiers___closed__31() { +_start: +{ +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Command_declModifiers___closed__29; +x_2 = lean_alloc_closure((void*)(l_Lean_Parser_Command_declModifiers___elambda__1), 3, 1); +lean_closure_set(x_2, 0, x_1); +return x_2; +} +} +static lean_object* _init_l_Lean_Parser_Command_declModifiers___closed__32() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_Command_declModifiers___closed__30; +x_2 = l_Lean_Parser_Command_declModifiers___closed__31; x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); lean_ctor_set(x_3, 1, x_2); @@ -9340,7 +9757,7 @@ lean_object* l_Lean_Parser_Command_declModifiers(uint8_t x_1) { _start: { lean_object* x_2; -x_2 = l_Lean_Parser_Command_declModifiers___closed__29; +x_2 = l_Lean_Parser_Command_declModifiers___closed__32; return x_2; } } @@ -22437,6 +22854,55 @@ x_8 = l_Lean_PrettyPrinter_Formatter_orelse_formatter(x_6, x_7, x_1, x_2, x_3, x return x_8; } } +static lean_object* _init_l_Lean_Parser_Command_nonrec_formatter___closed__1() { +_start: +{ +lean_object* x_1; lean_object* x_2; uint8_t x_3; lean_object* x_4; lean_object* x_5; +x_1 = l_Lean_Parser_Command_nonrec___elambda__1___closed__1; +x_2 = l_Lean_Parser_Command_nonrec___elambda__1___closed__3; +x_3 = 1; +x_4 = lean_box(x_3); +x_5 = lean_alloc_closure((void*)(l_Lean_Parser_mkAntiquot_formatter___boxed), 8, 3); +lean_closure_set(x_5, 0, x_1); +lean_closure_set(x_5, 1, x_2); +lean_closure_set(x_5, 2, x_4); +return x_5; +} +} +static lean_object* _init_l_Lean_Parser_Command_nonrec_formatter___closed__2() { +_start: +{ +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Command_nonrec___elambda__1___closed__5; +x_2 = lean_alloc_closure((void*)(l_Lean_Parser_symbol_formatter), 6, 1); +lean_closure_set(x_2, 0, x_1); +return x_2; +} +} +static lean_object* _init_l_Lean_Parser_Command_nonrec_formatter___closed__3() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; +x_1 = l_Lean_Parser_Command_nonrec___elambda__1___closed__2; +x_2 = lean_unsigned_to_nat(1024u); +x_3 = l_Lean_Parser_Command_nonrec_formatter___closed__2; +x_4 = lean_alloc_closure((void*)(l_Lean_Parser_leadingNode_formatter___boxed), 8, 3); +lean_closure_set(x_4, 0, x_1); +lean_closure_set(x_4, 1, x_2); +lean_closure_set(x_4, 2, x_3); +return x_4; +} +} +lean_object* l_Lean_Parser_Command_nonrec_formatter(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4, lean_object* x_5) { +_start: +{ +lean_object* x_6; lean_object* x_7; lean_object* x_8; +x_6 = l_Lean_Parser_Command_nonrec_formatter___closed__1; +x_7 = l_Lean_Parser_Command_nonrec_formatter___closed__3; +x_8 = l_Lean_PrettyPrinter_Formatter_orelse_formatter(x_6, x_7, x_1, x_2, x_3, x_4, x_5); +return x_8; +} +} static lean_object* _init_l_Lean_Parser_Command_declModifiers_formatter___closed__1() { _start: { @@ -22535,20 +23001,18 @@ return x_1; static lean_object* _init_l_Lean_Parser_Command_declModifiers_formatter___closed__11() { _start: { -lean_object* x_1; lean_object* x_2; -x_1 = l_Lean_Parser_Command_declModifiers_formatter___closed__10; -x_2 = lean_alloc_closure((void*)(l_Lean_Parser_optional_formatter), 6, 1); -lean_closure_set(x_2, 0, x_1); -return x_2; +lean_object* x_1; +x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Command_nonrec_formatter), 5, 0); +return x_1; } } static lean_object* _init_l_Lean_Parser_Command_declModifiers_formatter___closed__12() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Command_declModifiers_formatter___closed__9; +x_1 = l_Lean_Parser_Command_declModifiers_formatter___closed__10; x_2 = l_Lean_Parser_Command_declModifiers_formatter___closed__11; -x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_andthen_formatter), 7, 2); +x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_orelse_formatter), 7, 2); lean_closure_set(x_3, 0, x_1); lean_closure_set(x_3, 1, x_2); return x_3; @@ -22557,20 +23021,18 @@ return x_3; static lean_object* _init_l_Lean_Parser_Command_declModifiers_formatter___closed__13() { _start: { -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Command_declModifiers_formatter___closed__7; -x_2 = l_Lean_Parser_Command_declModifiers_formatter___closed__12; -x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_andthen_formatter), 7, 2); -lean_closure_set(x_3, 0, x_1); -lean_closure_set(x_3, 1, x_2); -return x_3; +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Command_declModifiers_formatter___closed__12; +x_2 = lean_alloc_closure((void*)(l_Lean_Parser_optional_formatter), 6, 1); +lean_closure_set(x_2, 0, x_1); +return x_2; } } static lean_object* _init_l_Lean_Parser_Command_declModifiers_formatter___closed__14() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Command_declModifiers_formatter___closed__5; +x_1 = l_Lean_Parser_Command_declModifiers_formatter___closed__9; x_2 = l_Lean_Parser_Command_declModifiers_formatter___closed__13; x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_andthen_formatter), 7, 2); lean_closure_set(x_3, 0, x_1); @@ -22581,26 +23043,20 @@ return x_3; static lean_object* _init_l_Lean_Parser_Command_declModifiers_formatter___closed__15() { _start: { -lean_object* x_1; lean_object* x_2; -x_1 = l_Lean_Parser_Command_moduleDoc_formatter___closed__4; -x_2 = lean_alloc_closure((void*)(l_Lean_ppDedent_formatter), 6, 1); -lean_closure_set(x_2, 0, x_1); -return x_2; +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_Command_declModifiers_formatter___closed__7; +x_2 = l_Lean_Parser_Command_declModifiers_formatter___closed__14; +x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_andthen_formatter), 7, 2); +lean_closure_set(x_3, 0, x_1); +lean_closure_set(x_3, 1, x_2); +return x_3; } } static lean_object* _init_l_Lean_Parser_Command_declModifiers_formatter___closed__16() { _start: { -lean_object* x_1; -x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Term_attributes_formatter), 5, 0); -return x_1; -} -} -static lean_object* _init_l_Lean_Parser_Command_declModifiers_formatter___closed__17() { -_start: -{ lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Command_declModifiers_formatter___closed__16; +x_1 = l_Lean_Parser_Command_declModifiers_formatter___closed__5; x_2 = l_Lean_Parser_Command_declModifiers_formatter___closed__15; x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_andthen_formatter), 7, 2); lean_closure_set(x_3, 0, x_1); @@ -22608,22 +23064,30 @@ lean_closure_set(x_3, 1, x_2); return x_3; } } -static lean_object* _init_l_Lean_Parser_Command_declModifiers_formatter___closed__18() { +static lean_object* _init_l_Lean_Parser_Command_declModifiers_formatter___closed__17() { _start: { lean_object* x_1; lean_object* x_2; -x_1 = l_Lean_Parser_Command_declModifiers_formatter___closed__17; -x_2 = lean_alloc_closure((void*)(l_Lean_Parser_optional_formatter), 6, 1); +x_1 = l_Lean_Parser_Command_moduleDoc_formatter___closed__4; +x_2 = lean_alloc_closure((void*)(l_Lean_ppDedent_formatter), 6, 1); lean_closure_set(x_2, 0, x_1); return x_2; } } +static lean_object* _init_l_Lean_Parser_Command_declModifiers_formatter___closed__18() { +_start: +{ +lean_object* x_1; +x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Term_attributes_formatter), 5, 0); +return x_1; +} +} static lean_object* _init_l_Lean_Parser_Command_declModifiers_formatter___closed__19() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; x_1 = l_Lean_Parser_Command_declModifiers_formatter___closed__18; -x_2 = l_Lean_Parser_Command_declModifiers_formatter___closed__14; +x_2 = l_Lean_Parser_Command_declModifiers_formatter___closed__17; x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_andthen_formatter), 7, 2); lean_closure_set(x_3, 0, x_1); lean_closure_set(x_3, 1, x_2); @@ -22633,22 +23097,44 @@ return x_3; static lean_object* _init_l_Lean_Parser_Command_declModifiers_formatter___closed__20() { _start: { +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Command_declModifiers_formatter___closed__19; +x_2 = lean_alloc_closure((void*)(l_Lean_Parser_optional_formatter), 6, 1); +lean_closure_set(x_2, 0, x_1); +return x_2; +} +} +static lean_object* _init_l_Lean_Parser_Command_declModifiers_formatter___closed__21() { +_start: +{ lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Command_declModifiers_formatter___closed__3; -x_2 = l_Lean_Parser_Command_declModifiers_formatter___closed__19; +x_1 = l_Lean_Parser_Command_declModifiers_formatter___closed__20; +x_2 = l_Lean_Parser_Command_declModifiers_formatter___closed__16; x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_andthen_formatter), 7, 2); lean_closure_set(x_3, 0, x_1); lean_closure_set(x_3, 1, x_2); return x_3; } } -static lean_object* _init_l_Lean_Parser_Command_declModifiers_formatter___closed__21() { +static lean_object* _init_l_Lean_Parser_Command_declModifiers_formatter___closed__22() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_Command_declModifiers_formatter___closed__3; +x_2 = l_Lean_Parser_Command_declModifiers_formatter___closed__21; +x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_andthen_formatter), 7, 2); +lean_closure_set(x_3, 0, x_1); +lean_closure_set(x_3, 1, x_2); +return x_3; +} +} +static lean_object* _init_l_Lean_Parser_Command_declModifiers_formatter___closed__23() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; x_1 = l_Lean_Parser_Command_declModifiers___elambda__1___closed__2; x_2 = lean_unsigned_to_nat(1024u); -x_3 = l_Lean_Parser_Command_declModifiers_formatter___closed__20; +x_3 = l_Lean_Parser_Command_declModifiers_formatter___closed__22; x_4 = lean_alloc_closure((void*)(l_Lean_Parser_leadingNode_formatter___boxed), 8, 3); lean_closure_set(x_4, 0, x_1); lean_closure_set(x_4, 1, x_2); @@ -22656,7 +23142,7 @@ lean_closure_set(x_4, 2, x_3); return x_4; } } -static lean_object* _init_l_Lean_Parser_Command_declModifiers_formatter___closed__22() { +static lean_object* _init_l_Lean_Parser_Command_declModifiers_formatter___closed__24() { _start: { lean_object* x_1; @@ -22664,34 +23150,12 @@ x_1 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_skip_formatter__ return x_1; } } -static lean_object* _init_l_Lean_Parser_Command_declModifiers_formatter___closed__23() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Command_declModifiers_formatter___closed__16; -x_2 = l_Lean_Parser_Command_declModifiers_formatter___closed__22; -x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_andthen_formatter), 7, 2); -lean_closure_set(x_3, 0, x_1); -lean_closure_set(x_3, 1, x_2); -return x_3; -} -} -static lean_object* _init_l_Lean_Parser_Command_declModifiers_formatter___closed__24() { -_start: -{ -lean_object* x_1; lean_object* x_2; -x_1 = l_Lean_Parser_Command_declModifiers_formatter___closed__23; -x_2 = lean_alloc_closure((void*)(l_Lean_Parser_optional_formatter), 6, 1); -lean_closure_set(x_2, 0, x_1); -return x_2; -} -} static lean_object* _init_l_Lean_Parser_Command_declModifiers_formatter___closed__25() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Command_declModifiers_formatter___closed__24; -x_2 = l_Lean_Parser_Command_declModifiers_formatter___closed__14; +x_1 = l_Lean_Parser_Command_declModifiers_formatter___closed__18; +x_2 = l_Lean_Parser_Command_declModifiers_formatter___closed__24; x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_andthen_formatter), 7, 2); lean_closure_set(x_3, 0, x_1); lean_closure_set(x_3, 1, x_2); @@ -22701,22 +23165,44 @@ return x_3; static lean_object* _init_l_Lean_Parser_Command_declModifiers_formatter___closed__26() { _start: { +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Command_declModifiers_formatter___closed__25; +x_2 = lean_alloc_closure((void*)(l_Lean_Parser_optional_formatter), 6, 1); +lean_closure_set(x_2, 0, x_1); +return x_2; +} +} +static lean_object* _init_l_Lean_Parser_Command_declModifiers_formatter___closed__27() { +_start: +{ lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Command_declModifiers_formatter___closed__3; -x_2 = l_Lean_Parser_Command_declModifiers_formatter___closed__25; +x_1 = l_Lean_Parser_Command_declModifiers_formatter___closed__26; +x_2 = l_Lean_Parser_Command_declModifiers_formatter___closed__16; x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_andthen_formatter), 7, 2); lean_closure_set(x_3, 0, x_1); lean_closure_set(x_3, 1, x_2); return x_3; } } -static lean_object* _init_l_Lean_Parser_Command_declModifiers_formatter___closed__27() { +static lean_object* _init_l_Lean_Parser_Command_declModifiers_formatter___closed__28() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_Command_declModifiers_formatter___closed__3; +x_2 = l_Lean_Parser_Command_declModifiers_formatter___closed__27; +x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_andthen_formatter), 7, 2); +lean_closure_set(x_3, 0, x_1); +lean_closure_set(x_3, 1, x_2); +return x_3; +} +} +static lean_object* _init_l_Lean_Parser_Command_declModifiers_formatter___closed__29() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; x_1 = l_Lean_Parser_Command_declModifiers___elambda__1___closed__2; x_2 = lean_unsigned_to_nat(1024u); -x_3 = l_Lean_Parser_Command_declModifiers_formatter___closed__26; +x_3 = l_Lean_Parser_Command_declModifiers_formatter___closed__28; x_4 = lean_alloc_closure((void*)(l_Lean_Parser_leadingNode_formatter___boxed), 8, 3); lean_closure_set(x_4, 0, x_1); lean_closure_set(x_4, 1, x_2); @@ -22731,7 +23217,7 @@ if (x_1 == 0) { lean_object* x_7; lean_object* x_8; lean_object* x_9; x_7 = l_Lean_Parser_Command_declModifiers_formatter___closed__1; -x_8 = l_Lean_Parser_Command_declModifiers_formatter___closed__21; +x_8 = l_Lean_Parser_Command_declModifiers_formatter___closed__23; x_9 = l_Lean_PrettyPrinter_Formatter_orelse_formatter(x_7, x_8, x_2, x_3, x_4, x_5, x_6); return x_9; } @@ -22739,7 +23225,7 @@ else { lean_object* x_10; lean_object* x_11; lean_object* x_12; x_10 = l_Lean_Parser_Command_declModifiers_formatter___closed__1; -x_11 = l_Lean_Parser_Command_declModifiers_formatter___closed__27; +x_11 = l_Lean_Parser_Command_declModifiers_formatter___closed__29; x_12 = l_Lean_PrettyPrinter_Formatter_orelse_formatter(x_10, x_11, x_2, x_3, x_4, x_5, x_6); return x_12; } @@ -26386,6 +26872,55 @@ x_8 = l_Lean_PrettyPrinter_Parenthesizer_orelse_parenthesizer(x_6, x_7, x_1, x_2 return x_8; } } +static lean_object* _init_l_Lean_Parser_Command_nonrec_parenthesizer___closed__1() { +_start: +{ +lean_object* x_1; lean_object* x_2; uint8_t x_3; lean_object* x_4; lean_object* x_5; +x_1 = l_Lean_Parser_Command_nonrec___elambda__1___closed__1; +x_2 = l_Lean_Parser_Command_nonrec___elambda__1___closed__3; +x_3 = 1; +x_4 = lean_box(x_3); +x_5 = lean_alloc_closure((void*)(l_Lean_Parser_mkAntiquot_parenthesizer___boxed), 8, 3); +lean_closure_set(x_5, 0, x_1); +lean_closure_set(x_5, 1, x_2); +lean_closure_set(x_5, 2, x_4); +return x_5; +} +} +static lean_object* _init_l_Lean_Parser_Command_nonrec_parenthesizer___closed__2() { +_start: +{ +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Command_nonrec___elambda__1___closed__5; +x_2 = lean_alloc_closure((void*)(l_Lean_Parser_symbol_parenthesizer), 6, 1); +lean_closure_set(x_2, 0, x_1); +return x_2; +} +} +static lean_object* _init_l_Lean_Parser_Command_nonrec_parenthesizer___closed__3() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; +x_1 = l_Lean_Parser_Command_nonrec___elambda__1___closed__2; +x_2 = lean_unsigned_to_nat(1024u); +x_3 = l_Lean_Parser_Command_nonrec_parenthesizer___closed__2; +x_4 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_leadingNode_parenthesizer___boxed), 8, 3); +lean_closure_set(x_4, 0, x_1); +lean_closure_set(x_4, 1, x_2); +lean_closure_set(x_4, 2, x_3); +return x_4; +} +} +lean_object* l_Lean_Parser_Command_nonrec_parenthesizer(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4, lean_object* x_5) { +_start: +{ +lean_object* x_6; lean_object* x_7; lean_object* x_8; +x_6 = l_Lean_Parser_Command_nonrec_parenthesizer___closed__1; +x_7 = l_Lean_Parser_Command_nonrec_parenthesizer___closed__3; +x_8 = l_Lean_PrettyPrinter_Parenthesizer_orelse_parenthesizer(x_6, x_7, x_1, x_2, x_3, x_4, x_5); +return x_8; +} +} static lean_object* _init_l_Lean_Parser_Command_declModifiers_parenthesizer___closed__1() { _start: { @@ -26484,20 +27019,18 @@ return x_1; static lean_object* _init_l_Lean_Parser_Command_declModifiers_parenthesizer___closed__11() { _start: { -lean_object* x_1; lean_object* x_2; -x_1 = l_Lean_Parser_Command_declModifiers_parenthesizer___closed__10; -x_2 = lean_alloc_closure((void*)(l_Lean_Parser_optional_parenthesizer), 6, 1); -lean_closure_set(x_2, 0, x_1); -return x_2; +lean_object* x_1; +x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Command_nonrec_parenthesizer), 5, 0); +return x_1; } } static lean_object* _init_l_Lean_Parser_Command_declModifiers_parenthesizer___closed__12() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Command_declModifiers_parenthesizer___closed__9; +x_1 = l_Lean_Parser_Command_declModifiers_parenthesizer___closed__10; x_2 = l_Lean_Parser_Command_declModifiers_parenthesizer___closed__11; -x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_andthen_parenthesizer), 7, 2); +x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_orelse_parenthesizer), 7, 2); lean_closure_set(x_3, 0, x_1); lean_closure_set(x_3, 1, x_2); return x_3; @@ -26506,20 +27039,18 @@ return x_3; static lean_object* _init_l_Lean_Parser_Command_declModifiers_parenthesizer___closed__13() { _start: { -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Command_declModifiers_parenthesizer___closed__7; -x_2 = l_Lean_Parser_Command_declModifiers_parenthesizer___closed__12; -x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_andthen_parenthesizer), 7, 2); -lean_closure_set(x_3, 0, x_1); -lean_closure_set(x_3, 1, x_2); -return x_3; +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Command_declModifiers_parenthesizer___closed__12; +x_2 = lean_alloc_closure((void*)(l_Lean_Parser_optional_parenthesizer), 6, 1); +lean_closure_set(x_2, 0, x_1); +return x_2; } } static lean_object* _init_l_Lean_Parser_Command_declModifiers_parenthesizer___closed__14() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Command_declModifiers_parenthesizer___closed__5; +x_1 = l_Lean_Parser_Command_declModifiers_parenthesizer___closed__9; x_2 = l_Lean_Parser_Command_declModifiers_parenthesizer___closed__13; x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_andthen_parenthesizer), 7, 2); lean_closure_set(x_3, 0, x_1); @@ -26530,26 +27061,20 @@ return x_3; static lean_object* _init_l_Lean_Parser_Command_declModifiers_parenthesizer___closed__15() { _start: { -lean_object* x_1; lean_object* x_2; -x_1 = l_Lean_Parser_Command_moduleDoc_parenthesizer___closed__4; -x_2 = lean_alloc_closure((void*)(l_Lean_Parser_ppDedent_parenthesizer), 6, 1); -lean_closure_set(x_2, 0, x_1); -return x_2; +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_Command_declModifiers_parenthesizer___closed__7; +x_2 = l_Lean_Parser_Command_declModifiers_parenthesizer___closed__14; +x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_andthen_parenthesizer), 7, 2); +lean_closure_set(x_3, 0, x_1); +lean_closure_set(x_3, 1, x_2); +return x_3; } } static lean_object* _init_l_Lean_Parser_Command_declModifiers_parenthesizer___closed__16() { _start: { -lean_object* x_1; -x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Term_attributes_parenthesizer), 5, 0); -return x_1; -} -} -static lean_object* _init_l_Lean_Parser_Command_declModifiers_parenthesizer___closed__17() { -_start: -{ lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Command_declModifiers_parenthesizer___closed__16; +x_1 = l_Lean_Parser_Command_declModifiers_parenthesizer___closed__5; x_2 = l_Lean_Parser_Command_declModifiers_parenthesizer___closed__15; x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_andthen_parenthesizer), 7, 2); lean_closure_set(x_3, 0, x_1); @@ -26557,22 +27082,30 @@ lean_closure_set(x_3, 1, x_2); return x_3; } } -static lean_object* _init_l_Lean_Parser_Command_declModifiers_parenthesizer___closed__18() { +static lean_object* _init_l_Lean_Parser_Command_declModifiers_parenthesizer___closed__17() { _start: { lean_object* x_1; lean_object* x_2; -x_1 = l_Lean_Parser_Command_declModifiers_parenthesizer___closed__17; -x_2 = lean_alloc_closure((void*)(l_Lean_Parser_optional_parenthesizer), 6, 1); +x_1 = l_Lean_Parser_Command_moduleDoc_parenthesizer___closed__4; +x_2 = lean_alloc_closure((void*)(l_Lean_Parser_ppDedent_parenthesizer), 6, 1); lean_closure_set(x_2, 0, x_1); return x_2; } } +static lean_object* _init_l_Lean_Parser_Command_declModifiers_parenthesizer___closed__18() { +_start: +{ +lean_object* x_1; +x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Term_attributes_parenthesizer), 5, 0); +return x_1; +} +} static lean_object* _init_l_Lean_Parser_Command_declModifiers_parenthesizer___closed__19() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; x_1 = l_Lean_Parser_Command_declModifiers_parenthesizer___closed__18; -x_2 = l_Lean_Parser_Command_declModifiers_parenthesizer___closed__14; +x_2 = l_Lean_Parser_Command_declModifiers_parenthesizer___closed__17; x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_andthen_parenthesizer), 7, 2); lean_closure_set(x_3, 0, x_1); lean_closure_set(x_3, 1, x_2); @@ -26582,22 +27115,44 @@ return x_3; static lean_object* _init_l_Lean_Parser_Command_declModifiers_parenthesizer___closed__20() { _start: { +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Command_declModifiers_parenthesizer___closed__19; +x_2 = lean_alloc_closure((void*)(l_Lean_Parser_optional_parenthesizer), 6, 1); +lean_closure_set(x_2, 0, x_1); +return x_2; +} +} +static lean_object* _init_l_Lean_Parser_Command_declModifiers_parenthesizer___closed__21() { +_start: +{ lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Command_declModifiers_parenthesizer___closed__3; -x_2 = l_Lean_Parser_Command_declModifiers_parenthesizer___closed__19; +x_1 = l_Lean_Parser_Command_declModifiers_parenthesizer___closed__20; +x_2 = l_Lean_Parser_Command_declModifiers_parenthesizer___closed__16; x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_andthen_parenthesizer), 7, 2); lean_closure_set(x_3, 0, x_1); lean_closure_set(x_3, 1, x_2); return x_3; } } -static lean_object* _init_l_Lean_Parser_Command_declModifiers_parenthesizer___closed__21() { +static lean_object* _init_l_Lean_Parser_Command_declModifiers_parenthesizer___closed__22() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_Command_declModifiers_parenthesizer___closed__3; +x_2 = l_Lean_Parser_Command_declModifiers_parenthesizer___closed__21; +x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_andthen_parenthesizer), 7, 2); +lean_closure_set(x_3, 0, x_1); +lean_closure_set(x_3, 1, x_2); +return x_3; +} +} +static lean_object* _init_l_Lean_Parser_Command_declModifiers_parenthesizer___closed__23() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; x_1 = l_Lean_Parser_Command_declModifiers___elambda__1___closed__2; x_2 = lean_unsigned_to_nat(1024u); -x_3 = l_Lean_Parser_Command_declModifiers_parenthesizer___closed__20; +x_3 = l_Lean_Parser_Command_declModifiers_parenthesizer___closed__22; x_4 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_leadingNode_parenthesizer___boxed), 8, 3); lean_closure_set(x_4, 0, x_1); lean_closure_set(x_4, 1, x_2); @@ -26605,7 +27160,7 @@ lean_closure_set(x_4, 2, x_3); return x_4; } } -static lean_object* _init_l_Lean_Parser_Command_declModifiers_parenthesizer___closed__22() { +static lean_object* _init_l_Lean_Parser_Command_declModifiers_parenthesizer___closed__24() { _start: { lean_object* x_1; @@ -26613,34 +27168,12 @@ x_1 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_skip_parenth return x_1; } } -static lean_object* _init_l_Lean_Parser_Command_declModifiers_parenthesizer___closed__23() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Command_declModifiers_parenthesizer___closed__16; -x_2 = l_Lean_Parser_Command_declModifiers_parenthesizer___closed__22; -x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_andthen_parenthesizer), 7, 2); -lean_closure_set(x_3, 0, x_1); -lean_closure_set(x_3, 1, x_2); -return x_3; -} -} -static lean_object* _init_l_Lean_Parser_Command_declModifiers_parenthesizer___closed__24() { -_start: -{ -lean_object* x_1; lean_object* x_2; -x_1 = l_Lean_Parser_Command_declModifiers_parenthesizer___closed__23; -x_2 = lean_alloc_closure((void*)(l_Lean_Parser_optional_parenthesizer), 6, 1); -lean_closure_set(x_2, 0, x_1); -return x_2; -} -} static lean_object* _init_l_Lean_Parser_Command_declModifiers_parenthesizer___closed__25() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Command_declModifiers_parenthesizer___closed__24; -x_2 = l_Lean_Parser_Command_declModifiers_parenthesizer___closed__14; +x_1 = l_Lean_Parser_Command_declModifiers_parenthesizer___closed__18; +x_2 = l_Lean_Parser_Command_declModifiers_parenthesizer___closed__24; x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_andthen_parenthesizer), 7, 2); lean_closure_set(x_3, 0, x_1); lean_closure_set(x_3, 1, x_2); @@ -26650,22 +27183,44 @@ return x_3; static lean_object* _init_l_Lean_Parser_Command_declModifiers_parenthesizer___closed__26() { _start: { +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Command_declModifiers_parenthesizer___closed__25; +x_2 = lean_alloc_closure((void*)(l_Lean_Parser_optional_parenthesizer), 6, 1); +lean_closure_set(x_2, 0, x_1); +return x_2; +} +} +static lean_object* _init_l_Lean_Parser_Command_declModifiers_parenthesizer___closed__27() { +_start: +{ lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Command_declModifiers_parenthesizer___closed__3; -x_2 = l_Lean_Parser_Command_declModifiers_parenthesizer___closed__25; +x_1 = l_Lean_Parser_Command_declModifiers_parenthesizer___closed__26; +x_2 = l_Lean_Parser_Command_declModifiers_parenthesizer___closed__16; x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_andthen_parenthesizer), 7, 2); lean_closure_set(x_3, 0, x_1); lean_closure_set(x_3, 1, x_2); return x_3; } } -static lean_object* _init_l_Lean_Parser_Command_declModifiers_parenthesizer___closed__27() { +static lean_object* _init_l_Lean_Parser_Command_declModifiers_parenthesizer___closed__28() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_Command_declModifiers_parenthesizer___closed__3; +x_2 = l_Lean_Parser_Command_declModifiers_parenthesizer___closed__27; +x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_andthen_parenthesizer), 7, 2); +lean_closure_set(x_3, 0, x_1); +lean_closure_set(x_3, 1, x_2); +return x_3; +} +} +static lean_object* _init_l_Lean_Parser_Command_declModifiers_parenthesizer___closed__29() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; x_1 = l_Lean_Parser_Command_declModifiers___elambda__1___closed__2; x_2 = lean_unsigned_to_nat(1024u); -x_3 = l_Lean_Parser_Command_declModifiers_parenthesizer___closed__26; +x_3 = l_Lean_Parser_Command_declModifiers_parenthesizer___closed__28; x_4 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_leadingNode_parenthesizer___boxed), 8, 3); lean_closure_set(x_4, 0, x_1); lean_closure_set(x_4, 1, x_2); @@ -26680,7 +27235,7 @@ if (x_1 == 0) { lean_object* x_7; lean_object* x_8; lean_object* x_9; x_7 = l_Lean_Parser_Command_declModifiers_parenthesizer___closed__1; -x_8 = l_Lean_Parser_Command_declModifiers_parenthesizer___closed__21; +x_8 = l_Lean_Parser_Command_declModifiers_parenthesizer___closed__23; x_9 = l_Lean_PrettyPrinter_Parenthesizer_orelse_parenthesizer(x_7, x_8, x_2, x_3, x_4, x_5, x_6); return x_9; } @@ -26688,7 +27243,7 @@ else { lean_object* x_10; lean_object* x_11; lean_object* x_12; x_10 = l_Lean_Parser_Command_declModifiers_parenthesizer___closed__1; -x_11 = l_Lean_Parser_Command_declModifiers_parenthesizer___closed__27; +x_11 = l_Lean_Parser_Command_declModifiers_parenthesizer___closed__29; x_12 = l_Lean_PrettyPrinter_Parenthesizer_orelse_parenthesizer(x_10, x_11, x_2, x_3, x_4, x_5, x_6); return x_12; } @@ -50577,7 +51132,7 @@ x_1 = l_Lean_Parser_Command_ctor___elambda__1___closed__9; return x_1; } } -static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__1() { +static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__1() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; @@ -50587,7 +51142,7 @@ x_3 = lean_name_mk_string(x_1, x_2); return x_3; } } -static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__2() { +static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__2() { _start: { lean_object* x_1; lean_object* x_2; @@ -50597,7 +51152,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__3() { +static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__3() { _start: { lean_object* x_1; @@ -50605,17 +51160,17 @@ x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Command_declModifiersF_formatter) return x_1; } } -static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__4() { +static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__4() { _start: { lean_object* x_1; lean_object* x_2; -x_1 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__3; +x_1 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__3; x_2 = lean_alloc_ctor(0, 1, 0); lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__5() { +static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__5() { _start: { lean_object* x_1; @@ -50623,17 +51178,17 @@ x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Command_declModifiersF_parenthesi return x_1; } } -static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__6() { +static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__6() { _start: { lean_object* x_1; lean_object* x_2; -x_1 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__5; +x_1 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__5; x_2 = lean_alloc_ctor(0, 1, 0); lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__7() { +static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__7() { _start: { lean_object* x_1; @@ -50641,17 +51196,17 @@ x_1 = lean_mk_string("nestedDeclModifiers"); return x_1; } } -static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__8() { +static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__8() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; x_1 = lean_box(0); -x_2 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__7; +x_2 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__7; x_3 = lean_name_mk_string(x_1, x_2); return x_3; } } -static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__9() { +static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__9() { _start: { lean_object* x_1; lean_object* x_2; @@ -50661,7 +51216,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__10() { +static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__10() { _start: { lean_object* x_1; @@ -50669,17 +51224,17 @@ x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Command_declModifiersT_formatter) return x_1; } } -static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__11() { +static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__11() { _start: { lean_object* x_1; lean_object* x_2; -x_1 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__10; +x_1 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__10; x_2 = lean_alloc_ctor(0, 1, 0); lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__12() { +static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__12() { _start: { lean_object* x_1; @@ -50687,17 +51242,17 @@ x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Command_declModifiersT_parenthesi return x_1; } } -static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__13() { +static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__13() { _start: { lean_object* x_1; lean_object* x_2; -x_1 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__12; +x_1 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__12; x_2 = lean_alloc_ctor(0, 1, 0); lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__14() { +static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__14() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; @@ -50707,7 +51262,7 @@ x_3 = lean_name_mk_string(x_1, x_2); return x_3; } } -static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__15() { +static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__15() { _start: { lean_object* x_1; lean_object* x_2; @@ -50717,7 +51272,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__16() { +static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__16() { _start: { lean_object* x_1; lean_object* x_2; @@ -50727,7 +51282,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__17() { +static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__17() { _start: { lean_object* x_1; lean_object* x_2; @@ -50737,7 +51292,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__18() { +static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__18() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; @@ -50747,7 +51302,7 @@ x_3 = lean_name_mk_string(x_1, x_2); return x_3; } } -static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__19() { +static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__19() { _start: { lean_object* x_1; lean_object* x_2; @@ -50757,7 +51312,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__20() { +static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__20() { _start: { lean_object* x_1; lean_object* x_2; @@ -50767,7 +51322,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__21() { +static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__21() { _start: { lean_object* x_1; lean_object* x_2; @@ -50777,7 +51332,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__22() { +static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__22() { _start: { lean_object* x_1; @@ -50785,17 +51340,17 @@ x_1 = lean_mk_string("declVal"); return x_1; } } -static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__23() { +static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__23() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; x_1 = lean_box(0); -x_2 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__22; +x_2 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__22; x_3 = lean_name_mk_string(x_1, x_2); return x_3; } } -static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__24() { +static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__24() { _start: { lean_object* x_1; lean_object* x_2; @@ -50805,7 +51360,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__25() { +static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__25() { _start: { lean_object* x_1; lean_object* x_2; @@ -50815,7 +51370,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__26() { +static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__26() { _start: { lean_object* x_1; lean_object* x_2; @@ -50825,7 +51380,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__27() { +static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__27() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; @@ -50835,7 +51390,7 @@ x_3 = lean_name_mk_string(x_1, x_2); return x_3; } } -static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__28() { +static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__28() { _start: { lean_object* x_1; lean_object* x_2; @@ -50845,7 +51400,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__29() { +static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__29() { _start: { lean_object* x_1; lean_object* x_2; @@ -50855,7 +51410,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__30() { +static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__30() { _start: { lean_object* x_1; lean_object* x_2; @@ -50865,7 +51420,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__31() { +static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__31() { _start: { lean_object* x_1; @@ -50873,17 +51428,17 @@ x_1 = lean_mk_string("openDecl"); return x_1; } } -static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__32() { +static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__32() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; x_1 = lean_box(0); -x_2 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__31; +x_2 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__31; x_3 = lean_name_mk_string(x_1, x_2); return x_3; } } -static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__33() { +static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__33() { _start: { lean_object* x_1; lean_object* x_2; @@ -50893,7 +51448,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__34() { +static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__34() { _start: { lean_object* x_1; lean_object* x_2; @@ -50903,7 +51458,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__35() { +static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__35() { _start: { lean_object* x_1; lean_object* x_2; @@ -50913,13 +51468,13 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473_(lean_object* x_1) { +lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489_(lean_object* x_1) { _start: { lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; x_2 = l_Lean_Parser_parserAliasesRef; -x_3 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__1; -x_4 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__2; +x_3 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__1; +x_4 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__2; x_5 = l_Lean_Parser_registerAliasCore___rarg(x_2, x_3, x_4, x_1); if (lean_obj_tag(x_5) == 0) { @@ -50928,7 +51483,7 @@ x_6 = lean_ctor_get(x_5, 1); lean_inc(x_6); lean_dec(x_5); x_7 = l_Lean_PrettyPrinter_Formatter_formatterAliasesRef; -x_8 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__4; +x_8 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__4; x_9 = l_Lean_Parser_registerAliasCore___rarg(x_7, x_3, x_8, x_6); if (lean_obj_tag(x_9) == 0) { @@ -50937,7 +51492,7 @@ x_10 = lean_ctor_get(x_9, 1); lean_inc(x_10); lean_dec(x_9); x_11 = l_Lean_PrettyPrinter_Parenthesizer_parenthesizerAliasesRef; -x_12 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__6; +x_12 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__6; x_13 = l_Lean_Parser_registerAliasCore___rarg(x_11, x_3, x_12, x_10); if (lean_obj_tag(x_13) == 0) { @@ -50945,8 +51500,8 @@ lean_object* x_14; lean_object* x_15; lean_object* x_16; lean_object* x_17; x_14 = lean_ctor_get(x_13, 1); lean_inc(x_14); lean_dec(x_13); -x_15 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__8; -x_16 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__9; +x_15 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__8; +x_16 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__9; x_17 = l_Lean_Parser_registerAliasCore___rarg(x_2, x_15, x_16, x_14); if (lean_obj_tag(x_17) == 0) { @@ -50954,7 +51509,7 @@ lean_object* x_18; lean_object* x_19; lean_object* x_20; x_18 = lean_ctor_get(x_17, 1); lean_inc(x_18); lean_dec(x_17); -x_19 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__11; +x_19 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__11; x_20 = l_Lean_Parser_registerAliasCore___rarg(x_7, x_15, x_19, x_18); if (lean_obj_tag(x_20) == 0) { @@ -50962,7 +51517,7 @@ lean_object* x_21; lean_object* x_22; lean_object* x_23; x_21 = lean_ctor_get(x_20, 1); lean_inc(x_21); lean_dec(x_20); -x_22 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__13; +x_22 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__13; x_23 = l_Lean_Parser_registerAliasCore___rarg(x_11, x_15, x_22, x_21); if (lean_obj_tag(x_23) == 0) { @@ -50970,8 +51525,8 @@ lean_object* x_24; lean_object* x_25; lean_object* x_26; lean_object* x_27; x_24 = lean_ctor_get(x_23, 1); lean_inc(x_24); lean_dec(x_23); -x_25 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__14; -x_26 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__15; +x_25 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__14; +x_26 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__15; x_27 = l_Lean_Parser_registerAliasCore___rarg(x_2, x_25, x_26, x_24); if (lean_obj_tag(x_27) == 0) { @@ -50979,7 +51534,7 @@ lean_object* x_28; lean_object* x_29; lean_object* x_30; x_28 = lean_ctor_get(x_27, 1); lean_inc(x_28); lean_dec(x_27); -x_29 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__16; +x_29 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__16; x_30 = l_Lean_Parser_registerAliasCore___rarg(x_7, x_25, x_29, x_28); if (lean_obj_tag(x_30) == 0) { @@ -50987,7 +51542,7 @@ lean_object* x_31; lean_object* x_32; lean_object* x_33; x_31 = lean_ctor_get(x_30, 1); lean_inc(x_31); lean_dec(x_30); -x_32 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__17; +x_32 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__17; x_33 = l_Lean_Parser_registerAliasCore___rarg(x_11, x_25, x_32, x_31); if (lean_obj_tag(x_33) == 0) { @@ -50995,8 +51550,8 @@ lean_object* x_34; lean_object* x_35; lean_object* x_36; lean_object* x_37; x_34 = lean_ctor_get(x_33, 1); lean_inc(x_34); lean_dec(x_33); -x_35 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__18; -x_36 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__19; +x_35 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__18; +x_36 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__19; x_37 = l_Lean_Parser_registerAliasCore___rarg(x_2, x_35, x_36, x_34); if (lean_obj_tag(x_37) == 0) { @@ -51004,7 +51559,7 @@ lean_object* x_38; lean_object* x_39; lean_object* x_40; x_38 = lean_ctor_get(x_37, 1); lean_inc(x_38); lean_dec(x_37); -x_39 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__20; +x_39 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__20; x_40 = l_Lean_Parser_registerAliasCore___rarg(x_7, x_35, x_39, x_38); if (lean_obj_tag(x_40) == 0) { @@ -51012,7 +51567,7 @@ lean_object* x_41; lean_object* x_42; lean_object* x_43; x_41 = lean_ctor_get(x_40, 1); lean_inc(x_41); lean_dec(x_40); -x_42 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__21; +x_42 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__21; x_43 = l_Lean_Parser_registerAliasCore___rarg(x_11, x_35, x_42, x_41); if (lean_obj_tag(x_43) == 0) { @@ -51020,8 +51575,8 @@ lean_object* x_44; lean_object* x_45; lean_object* x_46; lean_object* x_47; x_44 = lean_ctor_get(x_43, 1); lean_inc(x_44); lean_dec(x_43); -x_45 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__23; -x_46 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__24; +x_45 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__23; +x_46 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__24; x_47 = l_Lean_Parser_registerAliasCore___rarg(x_2, x_45, x_46, x_44); if (lean_obj_tag(x_47) == 0) { @@ -51029,7 +51584,7 @@ lean_object* x_48; lean_object* x_49; lean_object* x_50; x_48 = lean_ctor_get(x_47, 1); lean_inc(x_48); lean_dec(x_47); -x_49 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__25; +x_49 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__25; x_50 = l_Lean_Parser_registerAliasCore___rarg(x_7, x_45, x_49, x_48); if (lean_obj_tag(x_50) == 0) { @@ -51037,7 +51592,7 @@ lean_object* x_51; lean_object* x_52; lean_object* x_53; x_51 = lean_ctor_get(x_50, 1); lean_inc(x_51); lean_dec(x_50); -x_52 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__26; +x_52 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__26; x_53 = l_Lean_Parser_registerAliasCore___rarg(x_11, x_45, x_52, x_51); if (lean_obj_tag(x_53) == 0) { @@ -51045,8 +51600,8 @@ lean_object* x_54; lean_object* x_55; lean_object* x_56; lean_object* x_57; x_54 = lean_ctor_get(x_53, 1); lean_inc(x_54); lean_dec(x_53); -x_55 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__27; -x_56 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__28; +x_55 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__27; +x_56 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__28; x_57 = l_Lean_Parser_registerAliasCore___rarg(x_2, x_55, x_56, x_54); if (lean_obj_tag(x_57) == 0) { @@ -51054,7 +51609,7 @@ lean_object* x_58; lean_object* x_59; lean_object* x_60; x_58 = lean_ctor_get(x_57, 1); lean_inc(x_58); lean_dec(x_57); -x_59 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__29; +x_59 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__29; x_60 = l_Lean_Parser_registerAliasCore___rarg(x_7, x_55, x_59, x_58); if (lean_obj_tag(x_60) == 0) { @@ -51062,7 +51617,7 @@ lean_object* x_61; lean_object* x_62; lean_object* x_63; x_61 = lean_ctor_get(x_60, 1); lean_inc(x_61); lean_dec(x_60); -x_62 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__30; +x_62 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__30; x_63 = l_Lean_Parser_registerAliasCore___rarg(x_11, x_55, x_62, x_61); if (lean_obj_tag(x_63) == 0) { @@ -51070,8 +51625,8 @@ lean_object* x_64; lean_object* x_65; lean_object* x_66; lean_object* x_67; x_64 = lean_ctor_get(x_63, 1); lean_inc(x_64); lean_dec(x_63); -x_65 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__32; -x_66 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__33; +x_65 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__32; +x_66 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__33; x_67 = l_Lean_Parser_registerAliasCore___rarg(x_2, x_65, x_66, x_64); if (lean_obj_tag(x_67) == 0) { @@ -51079,7 +51634,7 @@ lean_object* x_68; lean_object* x_69; lean_object* x_70; x_68 = lean_ctor_get(x_67, 1); lean_inc(x_68); lean_dec(x_67); -x_69 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__34; +x_69 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__34; x_70 = l_Lean_Parser_registerAliasCore___rarg(x_7, x_65, x_69, x_68); if (lean_obj_tag(x_70) == 0) { @@ -51087,7 +51642,7 @@ lean_object* x_71; lean_object* x_72; lean_object* x_73; x_71 = lean_ctor_get(x_70, 1); lean_inc(x_71); lean_dec(x_70); -x_72 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__35; +x_72 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__35; x_73 = l_Lean_Parser_registerAliasCore___rarg(x_11, x_65, x_72, x_71); return x_73; } @@ -55009,6 +55564,48 @@ l_Lean_Parser_Command_partial___closed__7 = _init_l_Lean_Parser_Command_partial_ lean_mark_persistent(l_Lean_Parser_Command_partial___closed__7); l_Lean_Parser_Command_partial = _init_l_Lean_Parser_Command_partial(); lean_mark_persistent(l_Lean_Parser_Command_partial); +l_Lean_Parser_Command_nonrec___elambda__1___closed__1 = _init_l_Lean_Parser_Command_nonrec___elambda__1___closed__1(); +lean_mark_persistent(l_Lean_Parser_Command_nonrec___elambda__1___closed__1); +l_Lean_Parser_Command_nonrec___elambda__1___closed__2 = _init_l_Lean_Parser_Command_nonrec___elambda__1___closed__2(); +lean_mark_persistent(l_Lean_Parser_Command_nonrec___elambda__1___closed__2); +l_Lean_Parser_Command_nonrec___elambda__1___closed__3 = _init_l_Lean_Parser_Command_nonrec___elambda__1___closed__3(); +lean_mark_persistent(l_Lean_Parser_Command_nonrec___elambda__1___closed__3); +l_Lean_Parser_Command_nonrec___elambda__1___closed__4 = _init_l_Lean_Parser_Command_nonrec___elambda__1___closed__4(); +lean_mark_persistent(l_Lean_Parser_Command_nonrec___elambda__1___closed__4); +l_Lean_Parser_Command_nonrec___elambda__1___closed__5 = _init_l_Lean_Parser_Command_nonrec___elambda__1___closed__5(); +lean_mark_persistent(l_Lean_Parser_Command_nonrec___elambda__1___closed__5); +l_Lean_Parser_Command_nonrec___elambda__1___closed__6 = _init_l_Lean_Parser_Command_nonrec___elambda__1___closed__6(); +lean_mark_persistent(l_Lean_Parser_Command_nonrec___elambda__1___closed__6); +l_Lean_Parser_Command_nonrec___elambda__1___closed__7 = _init_l_Lean_Parser_Command_nonrec___elambda__1___closed__7(); +lean_mark_persistent(l_Lean_Parser_Command_nonrec___elambda__1___closed__7); +l_Lean_Parser_Command_nonrec___elambda__1___closed__8 = _init_l_Lean_Parser_Command_nonrec___elambda__1___closed__8(); +lean_mark_persistent(l_Lean_Parser_Command_nonrec___elambda__1___closed__8); +l_Lean_Parser_Command_nonrec___elambda__1___closed__9 = _init_l_Lean_Parser_Command_nonrec___elambda__1___closed__9(); +lean_mark_persistent(l_Lean_Parser_Command_nonrec___elambda__1___closed__9); +l_Lean_Parser_Command_nonrec___elambda__1___closed__10 = _init_l_Lean_Parser_Command_nonrec___elambda__1___closed__10(); +lean_mark_persistent(l_Lean_Parser_Command_nonrec___elambda__1___closed__10); +l_Lean_Parser_Command_nonrec___elambda__1___closed__11 = _init_l_Lean_Parser_Command_nonrec___elambda__1___closed__11(); +lean_mark_persistent(l_Lean_Parser_Command_nonrec___elambda__1___closed__11); +l_Lean_Parser_Command_nonrec___elambda__1___closed__12 = _init_l_Lean_Parser_Command_nonrec___elambda__1___closed__12(); +lean_mark_persistent(l_Lean_Parser_Command_nonrec___elambda__1___closed__12); +l_Lean_Parser_Command_nonrec___elambda__1___closed__13 = _init_l_Lean_Parser_Command_nonrec___elambda__1___closed__13(); +lean_mark_persistent(l_Lean_Parser_Command_nonrec___elambda__1___closed__13); +l_Lean_Parser_Command_nonrec___closed__1 = _init_l_Lean_Parser_Command_nonrec___closed__1(); +lean_mark_persistent(l_Lean_Parser_Command_nonrec___closed__1); +l_Lean_Parser_Command_nonrec___closed__2 = _init_l_Lean_Parser_Command_nonrec___closed__2(); +lean_mark_persistent(l_Lean_Parser_Command_nonrec___closed__2); +l_Lean_Parser_Command_nonrec___closed__3 = _init_l_Lean_Parser_Command_nonrec___closed__3(); +lean_mark_persistent(l_Lean_Parser_Command_nonrec___closed__3); +l_Lean_Parser_Command_nonrec___closed__4 = _init_l_Lean_Parser_Command_nonrec___closed__4(); +lean_mark_persistent(l_Lean_Parser_Command_nonrec___closed__4); +l_Lean_Parser_Command_nonrec___closed__5 = _init_l_Lean_Parser_Command_nonrec___closed__5(); +lean_mark_persistent(l_Lean_Parser_Command_nonrec___closed__5); +l_Lean_Parser_Command_nonrec___closed__6 = _init_l_Lean_Parser_Command_nonrec___closed__6(); +lean_mark_persistent(l_Lean_Parser_Command_nonrec___closed__6); +l_Lean_Parser_Command_nonrec___closed__7 = _init_l_Lean_Parser_Command_nonrec___closed__7(); +lean_mark_persistent(l_Lean_Parser_Command_nonrec___closed__7); +l_Lean_Parser_Command_nonrec = _init_l_Lean_Parser_Command_nonrec(); +lean_mark_persistent(l_Lean_Parser_Command_nonrec); l_Lean_Parser_Command_declModifiers___elambda__1___closed__1 = _init_l_Lean_Parser_Command_declModifiers___elambda__1___closed__1(); lean_mark_persistent(l_Lean_Parser_Command_declModifiers___elambda__1___closed__1); l_Lean_Parser_Command_declModifiers___elambda__1___closed__2 = _init_l_Lean_Parser_Command_declModifiers___elambda__1___closed__2(); @@ -55075,6 +55672,12 @@ l_Lean_Parser_Command_declModifiers___closed__28 = _init_l_Lean_Parser_Command_d lean_mark_persistent(l_Lean_Parser_Command_declModifiers___closed__28); l_Lean_Parser_Command_declModifiers___closed__29 = _init_l_Lean_Parser_Command_declModifiers___closed__29(); lean_mark_persistent(l_Lean_Parser_Command_declModifiers___closed__29); +l_Lean_Parser_Command_declModifiers___closed__30 = _init_l_Lean_Parser_Command_declModifiers___closed__30(); +lean_mark_persistent(l_Lean_Parser_Command_declModifiers___closed__30); +l_Lean_Parser_Command_declModifiers___closed__31 = _init_l_Lean_Parser_Command_declModifiers___closed__31(); +lean_mark_persistent(l_Lean_Parser_Command_declModifiers___closed__31); +l_Lean_Parser_Command_declModifiers___closed__32 = _init_l_Lean_Parser_Command_declModifiers___closed__32(); +lean_mark_persistent(l_Lean_Parser_Command_declModifiers___closed__32); l_Lean_Parser_Command_declId___elambda__1___closed__1 = _init_l_Lean_Parser_Command_declId___elambda__1___closed__1(); lean_mark_persistent(l_Lean_Parser_Command_declId___elambda__1___closed__1); l_Lean_Parser_Command_declId___elambda__1___closed__2 = _init_l_Lean_Parser_Command_declId___elambda__1___closed__2(); @@ -56724,6 +57327,12 @@ l_Lean_Parser_Command_partial_formatter___closed__2 = _init_l_Lean_Parser_Comman lean_mark_persistent(l_Lean_Parser_Command_partial_formatter___closed__2); l_Lean_Parser_Command_partial_formatter___closed__3 = _init_l_Lean_Parser_Command_partial_formatter___closed__3(); lean_mark_persistent(l_Lean_Parser_Command_partial_formatter___closed__3); +l_Lean_Parser_Command_nonrec_formatter___closed__1 = _init_l_Lean_Parser_Command_nonrec_formatter___closed__1(); +lean_mark_persistent(l_Lean_Parser_Command_nonrec_formatter___closed__1); +l_Lean_Parser_Command_nonrec_formatter___closed__2 = _init_l_Lean_Parser_Command_nonrec_formatter___closed__2(); +lean_mark_persistent(l_Lean_Parser_Command_nonrec_formatter___closed__2); +l_Lean_Parser_Command_nonrec_formatter___closed__3 = _init_l_Lean_Parser_Command_nonrec_formatter___closed__3(); +lean_mark_persistent(l_Lean_Parser_Command_nonrec_formatter___closed__3); l_Lean_Parser_Command_declModifiers_formatter___closed__1 = _init_l_Lean_Parser_Command_declModifiers_formatter___closed__1(); lean_mark_persistent(l_Lean_Parser_Command_declModifiers_formatter___closed__1); l_Lean_Parser_Command_declModifiers_formatter___closed__2 = _init_l_Lean_Parser_Command_declModifiers_formatter___closed__2(); @@ -56778,6 +57387,10 @@ l_Lean_Parser_Command_declModifiers_formatter___closed__26 = _init_l_Lean_Parser lean_mark_persistent(l_Lean_Parser_Command_declModifiers_formatter___closed__26); l_Lean_Parser_Command_declModifiers_formatter___closed__27 = _init_l_Lean_Parser_Command_declModifiers_formatter___closed__27(); lean_mark_persistent(l_Lean_Parser_Command_declModifiers_formatter___closed__27); +l_Lean_Parser_Command_declModifiers_formatter___closed__28 = _init_l_Lean_Parser_Command_declModifiers_formatter___closed__28(); +lean_mark_persistent(l_Lean_Parser_Command_declModifiers_formatter___closed__28); +l_Lean_Parser_Command_declModifiers_formatter___closed__29 = _init_l_Lean_Parser_Command_declModifiers_formatter___closed__29(); +lean_mark_persistent(l_Lean_Parser_Command_declModifiers_formatter___closed__29); l_Lean_Parser_Command_declId_formatter___closed__1 = _init_l_Lean_Parser_Command_declId_formatter___closed__1(); lean_mark_persistent(l_Lean_Parser_Command_declId_formatter___closed__1); l_Lean_Parser_Command_declId_formatter___closed__2 = _init_l_Lean_Parser_Command_declId_formatter___closed__2(); @@ -57343,6 +57956,12 @@ l_Lean_Parser_Command_partial_parenthesizer___closed__2 = _init_l_Lean_Parser_Co lean_mark_persistent(l_Lean_Parser_Command_partial_parenthesizer___closed__2); l_Lean_Parser_Command_partial_parenthesizer___closed__3 = _init_l_Lean_Parser_Command_partial_parenthesizer___closed__3(); lean_mark_persistent(l_Lean_Parser_Command_partial_parenthesizer___closed__3); +l_Lean_Parser_Command_nonrec_parenthesizer___closed__1 = _init_l_Lean_Parser_Command_nonrec_parenthesizer___closed__1(); +lean_mark_persistent(l_Lean_Parser_Command_nonrec_parenthesizer___closed__1); +l_Lean_Parser_Command_nonrec_parenthesizer___closed__2 = _init_l_Lean_Parser_Command_nonrec_parenthesizer___closed__2(); +lean_mark_persistent(l_Lean_Parser_Command_nonrec_parenthesizer___closed__2); +l_Lean_Parser_Command_nonrec_parenthesizer___closed__3 = _init_l_Lean_Parser_Command_nonrec_parenthesizer___closed__3(); +lean_mark_persistent(l_Lean_Parser_Command_nonrec_parenthesizer___closed__3); l_Lean_Parser_Command_declModifiers_parenthesizer___closed__1 = _init_l_Lean_Parser_Command_declModifiers_parenthesizer___closed__1(); lean_mark_persistent(l_Lean_Parser_Command_declModifiers_parenthesizer___closed__1); l_Lean_Parser_Command_declModifiers_parenthesizer___closed__2 = _init_l_Lean_Parser_Command_declModifiers_parenthesizer___closed__2(); @@ -57397,6 +58016,10 @@ l_Lean_Parser_Command_declModifiers_parenthesizer___closed__26 = _init_l_Lean_Pa lean_mark_persistent(l_Lean_Parser_Command_declModifiers_parenthesizer___closed__26); l_Lean_Parser_Command_declModifiers_parenthesizer___closed__27 = _init_l_Lean_Parser_Command_declModifiers_parenthesizer___closed__27(); lean_mark_persistent(l_Lean_Parser_Command_declModifiers_parenthesizer___closed__27); +l_Lean_Parser_Command_declModifiers_parenthesizer___closed__28 = _init_l_Lean_Parser_Command_declModifiers_parenthesizer___closed__28(); +lean_mark_persistent(l_Lean_Parser_Command_declModifiers_parenthesizer___closed__28); +l_Lean_Parser_Command_declModifiers_parenthesizer___closed__29 = _init_l_Lean_Parser_Command_declModifiers_parenthesizer___closed__29(); +lean_mark_persistent(l_Lean_Parser_Command_declModifiers_parenthesizer___closed__29); l_Lean_Parser_Command_declId_parenthesizer___closed__1 = _init_l_Lean_Parser_Command_declId_parenthesizer___closed__1(); lean_mark_persistent(l_Lean_Parser_Command_declId_parenthesizer___closed__1); l_Lean_Parser_Command_declId_parenthesizer___closed__2 = _init_l_Lean_Parser_Command_declId_parenthesizer___closed__2(); @@ -60749,77 +61372,77 @@ l_Lean_Parser_Command_declModifiersF = _init_l_Lean_Parser_Command_declModifiers lean_mark_persistent(l_Lean_Parser_Command_declModifiersF); l_Lean_Parser_Command_declModifiersT = _init_l_Lean_Parser_Command_declModifiersT(); lean_mark_persistent(l_Lean_Parser_Command_declModifiersT); -l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__1 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__1(); -lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__1); -l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__2 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__2(); -lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__2); -l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__3 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__3(); -lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__3); -l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__4 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__4(); -lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__4); -l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__5 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__5(); -lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__5); -l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__6 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__6(); -lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__6); -l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__7 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__7(); -lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__7); -l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__8 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__8(); -lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__8); -l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__9 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__9(); -lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__9); -l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__10 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__10(); -lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__10); -l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__11 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__11(); -lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__11); -l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__12 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__12(); -lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__12); -l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__13 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__13(); -lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__13); -l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__14 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__14(); -lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__14); -l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__15 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__15(); -lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__15); -l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__16 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__16(); -lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__16); -l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__17 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__17(); -lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__17); -l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__18 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__18(); -lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__18); -l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__19 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__19(); -lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__19); -l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__20 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__20(); -lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__20); -l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__21 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__21(); -lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__21); -l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__22 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__22(); -lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__22); -l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__23 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__23(); -lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__23); -l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__24 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__24(); -lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__24); -l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__25 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__25(); -lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__25); -l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__26 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__26(); -lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__26); -l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__27 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__27(); -lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__27); -l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__28 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__28(); -lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__28); -l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__29 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__29(); -lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__29); -l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__30 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__30(); -lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__30); -l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__31 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__31(); -lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__31); -l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__32 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__32(); -lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__32); -l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__33 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__33(); -lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__33); -l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__34 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__34(); -lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__34); -l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__35 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__35(); -lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473____closed__35); -res = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1473_(lean_io_mk_world()); +l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__1 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__1(); +lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__1); +l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__2 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__2(); +lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__2); +l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__3 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__3(); +lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__3); +l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__4 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__4(); +lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__4); +l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__5 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__5(); +lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__5); +l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__6 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__6(); +lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__6); +l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__7 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__7(); +lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__7); +l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__8 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__8(); +lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__8); +l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__9 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__9(); +lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__9); +l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__10 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__10(); +lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__10); +l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__11 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__11(); +lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__11); +l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__12 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__12(); +lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__12); +l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__13 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__13(); +lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__13); +l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__14 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__14(); +lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__14); +l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__15 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__15(); +lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__15); +l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__16 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__16(); +lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__16); +l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__17 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__17(); +lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__17); +l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__18 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__18(); +lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__18); +l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__19 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__19(); +lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__19); +l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__20 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__20(); +lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__20); +l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__21 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__21(); +lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__21); +l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__22 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__22(); +lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__22); +l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__23 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__23(); +lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__23); +l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__24 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__24(); +lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__24); +l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__25 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__25(); +lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__25); +l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__26 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__26(); +lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__26); +l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__27 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__27(); +lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__27); +l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__28 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__28(); +lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__28); +l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__29 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__29(); +lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__29); +l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__30 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__30(); +lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__30); +l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__31 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__31(); +lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__31); +l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__32 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__32(); +lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__32); +l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__33 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__33(); +lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__33); +l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__34 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__34(); +lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__34); +l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__35 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__35(); +lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489____closed__35); +res = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_1489_(lean_io_mk_world()); if (lean_io_result_is_error(res)) return res; lean_dec_ref(res); l_Lean_Parser_Term_open___elambda__1___closed__1 = _init_l_Lean_Parser_Term_open___elambda__1___closed__1();